Global rename progress

The following global renames are currently in progress:

• Gregorjohannes → Klegul (view progress)