I see this added in https://www.openstreetmap.org/changeset/180083384 although flagging that there's more info in the note than is currently mapped. Also may be worth adding a fixme=* tag to the building indicating that the polygon should be updated we have the aerial image to more precisely trace it