I just realized 'Trixie' is a much more fun codename than the usual stuffy Greek letters.