On Tuesday, 3 December 2019 at 17:10:04 UTC, Meta wrote: > Am I mistaken as to what the defect was, or as to whether it > was fixed, or both? I don't think they ever changed it - the code in the original link there shows the current behavior.