Yes, but there are many different fpga’s, many of which many verilog will run on, which to my mind makes the downsides of proprietyness low enough that this might be the sweet spot to stop at going down the stack..

however awesome an open source fabbed asic or fpga would be of course.

It's not open unless you can make it from sand.

Actually, it's not open unless you can make it from hydrogen atoms.

That’s going too far. RYF certification is what you could reasonably require.