re: #158 goddessoftheclassroom

Any nick-name is annoying, when you don’t like it.