[ci docs] Account for gridtk which has a non-standard name

See merge request !63