As I wrote 11 months ago

> Seems that my edit has been reverted ... for the time being hopefully.

So, I did not investigate, did also not insist further and did not try to start an edit war. From my point of view, I assumed all is in the state as before my edit.