IDE uninstalled prover policy on small computer screens
On a small laptop screen with many provers installed, I attempted to replay a proof for which I did not have the prover. The IDE popup for choosing an uninstalled prover policy was too vertically large for my screen and I did not manage to reach the bottom buttons (dragging the window up to hide the top and show the button did not work either).
Also, the Enter key also seems to not do anything on this window, but Escape apparently validates the chosen policy (or does it pick the default choice)? Either way, this is not very intuitive.