[makecheck]

And on Big Sur, the old Firefox menus were still using edge-to-edge rectangular selection but the system ones now use rounded-rectangles that appear to detach from the edges.