Revert dexyplugin since it's being used in docs.