Well, turns out that user.el doesn't actually have any influence on the repos used. It has to live in Cask.
Install minimap
Enable semantic modes by default
Install dtrt-indent