Thread:User talk:Kghbln/Extension:ROT13/reply (10)

Oops, actually I could have told you. Since I did not git clone one of your extensions, I did not stumble over this as a reminder for me. Cool to know that renaming a repo is not very difficult.