This doesn't mean you're actually using the new plugin unfortunately, it's
very possible you're still using an old version. This is a separate bug
we're working on fixing, rm -rf your plugins dir
(~/.local/share/gnome-do/plugins*) and try again.