Updated information-box-text in the "Anti- Fixpoint" tab of the "DES" 
plugin