Yeah, agreed that they are hard to edit if you working by yourself, but disagreed if you are working collaboratively. On "may be like an IETF proposal."", that

Yeah, agreed that they are hard to edit if you working by yourself, but disagreed if you are working collaboratively. On "may be like an IETF proposal."", that's precisely where I've been using them the most :) https://fedidcg.github.io/FedCM https://fedidcg.github.io/FedCM Not for everybody, I agree, but it is kinda of ironic that you mentioned "may be like an IETF proposal." :) Also, technical blog posts, e.g. https://code.sgo.to/2022/04/11/metamath.html https://code.sgo.to/2022/04/11/metamath.html https://code.sgo.to/2022/04/28/siop.html https://code.sgo.to/2022/04/28/siop.html