Working on putting CI servers in a preferencelist...