github :: LoaderConfig :: no_comments
# Should we avoid loading issue comments? fun no_comments: Bool do if opt_no_comments.value then return true return ini["loader.no_comments"] == "true" end