"which you don't technically have to pay but have to request be removed if you wish"
And you should ask that it be removed-total nonsense.
Quite common for tips added to the bill on a credit card charge to be skimmed by management Always better to tip the server in cash.