Document popover focus

This documents #10140, but while adding it I found another bug. See #11788. When that bug gets fixed, we can merge this in.