Merge pull request #179483 from pennae/mdize-maintainer-script
maintainers: add a helper script for the options doc conversion
authored by pennae and committed by GitHub 3 years ago c9ad20e7 2169ff54