5f49587a2c
This commit adds following functionalities to `configuration_snippet_tests`: 1. Error if there is an unknown configuration option in Configuration.md. 2. Error if there are multiple guides for the same configuration option in Configuration.md. 3. Error if an user-facing configuration option does not have its guide in Configuration.md. We will be able to catch outdated Configuration.md. Should prevent issues like #2459.