grim/gplugin

grim/gplugin/
Make doc/introspection options yield to parent.
develop
2020-08-22, Elliott Sales de Andrade
71e98ba93d21