They were indeed removed, but no full screen refresh was requested, so the highlights stayed visible.