0.8.7.3 ======= - Fix drop-down terminal hotkey (bug #14289) - Suppress gdk_keyboard_(un)grab deprecation warnings - Restore "Allow bold text" option (bug #14292) - Fix app crash when running a non-existing command (bug #14295) - Correct foreground process check for async child spawn - Add an option to disable "Relaunch" dialog pop-up (bug #14287) - Translation updates: Belarusian, Catalan, English (Australia), French, Greek, Italian, Japanese, Portuguese, Ukrainian