A friend of mine, who worked with Verilog a lot, was expressing some anger about extension .v on the Internet (Github?) mostly related to Coq, not Verilog. Oh w

A friend of mine, who worked with Verilog a lot, was expressing some anger about extension .v on the Internet (Github?) mostly related to Coq, not Verilog. Oh well...