Text this: Algorithmic Algebraic Combinatorics and Grb̲ner Bases