improve static publication of manuscripts
don't use documents' toString() method for sorting in TreeSet, as it doesn't return a unique value
remove comment