Fast User Switcher for Developers

[david (David Taylor)]

I’ve added a note at the top. I still think this plugin is vaguely useful, even if it wasn’t worth the development effort