Mention the sourceforge filter in the user-manual