Minimization and Canonization of GFG Transition-Based Automata (Logical Methods in Computer Science, 2022)