For your information, I changed my nickname from "haypo" to "vstinner" on IRC, GitHub and Bitbucket.
The change is supposed to be transparent, *but* there is an exception. On GitHub, @haypo mentions don't notify me anymore. So please, if you want to notify me on GitHub, please use @vstinner.
That's all, sorry for the noise, Victor Stinner aka vstinner ;-)