I thought I was told the opposite by @zaphod42 that I should document the current behavior and not put a wishlist in the documentation. I'm a bit ambivalent on that point, but I hope to fix this behavior sooner rather than later.