Thank you @KazWolfe! I initially started to post a question about it on Meta StackExchange, but then thought that maybe this is not quite on-topic for that site even if they mention that " Support, feature requests, or bug reports for the core Stack Exchange engine that powers all Stack Exchange websites
… it is welcome here."