12.0.3 missing #header-right

Apparently, between 12.0.2 and 12.0.3, the #header-right id has been dropped.
In my apps, I’m adding some stuff to the header, and had to change the mechanism when upgrading to NC12 which I consider to be expected between major releases.

Unfortunately, the ID #header-right was dropped in the latest minor release; the right header div now has to be addressed by #header>div.header-right which left my apps quite unusable.

IMHO this kind of incompatible change shouldn’t occur on minor versions since they may break other stuff accidentially, as just happened.