Rename docs jobs according to the new convention