Miscellaneous updates (especially airline config, no more mini-buffer-explorer)