Fixes #4522 Document that comments in ini files will be discarded with the ini module