The new terminal reboot (which you can install from the store) no longer has this problem so marking fix committed.
The new terminal reboot (which you can install from the store) no longer has this problem so marking fix committed.