We can't remove these. The behavior of this is unstable / irratic on Linux so we can't untag these (yet). 

A good idea would be to check for example with git blame where the tags come from and whether that reasoning still applies now.