GitLab

Move all the toplevel side-effecting stuff into it, so that loading
hilit19 doesn't mess everything up any more.