Far more interesting: Is there any instance where there are both keys present but they store different values? From the examples I’ve seen, there simply is no addr:housenumber tag present. If not, I would support an automated edit for all objects with building=*.
Maybe others have more intel on that, but I would leave that as is / ask in the changeset comments. If there is a meaning to it, a wiki page would be nice.
+1