Thanks for the note. I added buildings now in these changesets: https://www.openstreetmap.org/changeset/127236926
https://www.openstreetmap.org/changeset/127238108
https://www.openstreetmap.org/changeset/127239601

All the best,
Paul