Archiving bob.bio.csu

Since we decided to archive bob.bio.csu (bob.bio.csu#3 (closed)), we need to remove traces of it here.

mentioned in commit e0ff9569

mentioned in merge request !148 (merged)

closed via merge request !148 (merged)

mentioned in commit 9964e808