(proposing as papercut since problem exists in default install and fix is likely easier than we thought, since it's just a display glitch)
(proposing as papercut since problem exists in default install and fix is likely easier than we thought, since it's just a display glitch)