I apologize for creating a new feature request. I was under the impression that my answer
had gone unnoticed because of the not-bug tag, and that only a new request would help make it visible again. Also, my last reported fixed-bug is still tagged not-bug.