(BTW, this edit reverted also few extra edits - for example https://www.openstreetmap.org/way/1308610759/history 

I have now rereviewed it and yes, these few other objects also were case where this extra tags could been removed as unhelpful)