> It's just a waste of tokens at the very least.

Some 6-figure per year developer spending a quarter’s worth of tokens to do something they do once a month or so is not something I’ll ever care to optimize away…

I misread this as a "quarter" as in "three month period of the calendar year" and was very confused until I remembered that was also the name of a coin