Extra Dolphin plugins.
