See also the conversation on the merge proposal. This bug is probably a few hours work for someone to pick up and polish.
See also the conversation on the merge proposal. This bug is probably a few hours work for someone to pick up and polish.