Dlaczego usunąłeś `covered=yes` pisząc, że jest to nieodpowiednie? Wg mnie jest to odpowiednie użycie i podane źródła nawet to potwierdzają :)

WKD tutaj jest akurat w pełni przykryte, więc nawet i to nie jest kontrowersją. W przypadku pozostałych peronów 2-8 pewnie można spokojnie dorzucić `covered=partial` natomiast 9 byłby kontrowersyjny i tam bym pewnie dał `covered=no` z `shelter=yes`.