Just had lunch and hit the % tip button on the machine when it was time to pay. Looked at the receipt afterwards and realized it had calculated the tip based on the after-tax total, not pre-tax.
Maybe it’s always been that way and I’ve never noticed? Regardless, it seems sneaky to me. From now on I’ll be calculating the tip amount myself, thank you very much.