Rename pop-up symbol, add note about `max-mini-window-height`