2016-07-01 UTC
# 
petermolnar sorry for the noise; I decided to do a looong postponed main domain change from .eu to .net; the .eu always was awkward to tell people, as it never really caught up, and while it took a few years, I eventually got tired of it