Clean up some doc comments
feature/remove-gplugin_manager_free_plugin_list
2020-02-22, Gary Kramlich