#5144: please block package django-robots from devel