That can be changed - when I edited these, vacant shop was unavailable under the iD editor and I just changed it to what the wiki said but it is now so could well be changed. Good spot

That was the way the wiki said to tag those antenna as they are like power lines, but that is a good call adding the man_made=antenna tags as they are still antenna - I didn't think of that tag at the time. I have now added those - thank you for pointing that out.