Making my own customizations to a fork go bbastov/prelude. Tweaking a
few configs, adding packages; switching the theme. Nothing much to see
here.