Added Hans Huebner's "doch" alias

https://twitter.com/HansHuebner/status/319910203346808832