Hi Vincent,

These patches work fine!  Michael Rohleder submitted a few patches
identical to yours to debbugs a bit earlier (the xkb, whiskermenu,
datetime, wavelan, and smartbookmark plugins), so I pushed those for
lack of a better reason.  Hopefully that's alright with you.  The other
pushed patches have been attributed to you.

Also, I updated the mount plugin to the more recent version 1.1.5.

Thanks,
Kei