Writing this makes me irrationally sad, but Ghostty will be leaving GitHub ^1. I'm GitHub user 1299, joined Feb 2008.