Yet more tweaks to terminal dotfile config files