Merge pull request #1441 from fanquake/autoconf_doc_updates doc: minor autoconf/formatting improvements
2023-04-17T21:19:58