Version 0.5.1.1
This release fixes a bug that makes 0.5.1 not being "new enough" for Quaternion 0.0.9.4, and another bug that made user showing up multiple times in the user list of Quaternion after renaming. Otherwise it's the same as version 0.5.1.