[tor-commits] [manual/master] gitlabCI improvements. variables for less changes between lektors,