Since this bug report is public, I've made public bug 78039, which is where I made suggestion #3 a couple of years ago.
Since this bug report is public, I've made public bug 78039, which is where I made suggestion #3 a couple of years ago.