The Aloha plugin for popovers changed names to avoid AdBlock

RE https://github.com/oerpub/Aloha-Editor/pull/41