Comments added to plugin interface headers