Change to an obfuscated email address
Primary hosting is now on GitHub, not repo.or.cz