Mention the github filter in the user-manual