Some useful snippets to customize the plugin (for developers)