@jpmens @icing agreed. The mandatory info format has remained an argument for me to never push for any projects of mine to become part of GNU.