It’s not important to me at all, I hate golf. But it obviously was important to the person who added it. Just because they got the tagging a bit wrong doesn’t mean it should just be deleted.

See https://wiki.openstreetmap.org/wiki/Good_practice#Do_correct_errors and https://wiki.openstreetmap.org/wiki/Keep_the_history

I have re-added it in https://www.openstreetmap.org/changeset/134165637