[Tagging] Radio telescopes

[Martin Koppenhoefer]

sent from a phone

> On 25. Oct 2018, at 08:36, Joseph Eisenberg <joseph.eisenberg at gmail.com> wrote:
> 
> man_made=radio_telecope is listed as a possible tagging mistake on the telescope wiki page. But there are still over 200 tagged with this, versus 450 with telescope:type=radio. It is not on the deprecated features page.
> 
> Would it be acceptable to add man_made=radio_telescope to deprecated features, and suggest use of the more common man_made=telescope & telescope:type=radio tags?


I would rather remove it from the possible tagging mistakes list and put it under “see also”. 


Cheers, Martin