Began implementing the possibility ti dump currently defined user functions (say the WordPress ones) from the plugin settings page.