Convenience methods to access extension
Access to options
More convenience functions
Access to parsed command-line
Merge remote-tracking branch 'origin/master' into gui-devel