Text this: Algorithmic Algebraic Combinatorics and Gröbner Bases