Dzięki za odpowiedź.
Próbowałem pobrać przykładowo te budynki z inwestycji Mondo (adres: Jasieńska 85) ze strony budynki.openstreetmap.org.pl i w rezultacie otrzymałem pusty plik (pomimo zaznaczenia opcji "Wszystkie budynki z BDOT10k"). Stąd też moje pytanie. Próbowałem również z zupełnie innej przeglądarki, więc nie jest to kwestia np. pamięci podręcznej. 