Update
Status bar totally rewritten.
Always use c++ mode instead of c-mode. Use ProofGeneral for Coq.
More standard tmux config.
On laptop, turn off bluetooth and wwan at boot.
Use clang(++) instead of gcc and g++
Emacs archives.