dev: fix access to personal website dev environment
linde: actually allow system to reboot after updates
linde: add redis to laminar PATH
You can also use your local clone with git send-email.