GitLab

Also fixed a bug that prevented tools-reload after auto install in some
rare circumstances (almost impossible to trigger actually).