Why does HookTheory use F♯-Major instead of G♭-Major?

That is correct, and you can also put nonsensical keys like “X Major” as reported here