Thanks for spotting and correcting this. Removing area=yes was clearly wrong for railway=platform, since the wiki explicitly states that it's required.

It took a while to find another station where this arose and it appears that the JOSM unnecessary tag rule incorrectly flags area=yes in combination with indoor=*

Ticket logged as:
https://josm.openstreetmap.de/ticket/23463#ticket