Text this: Minimization and Canonization of GFG Transition-Based Automata