>> > > Should we delete the FileLibrary versions or move them to an other > repository? They have caused problems for at least two people. > 3 ;)