[doc] add a link to the github repository on the front page
[doc] document .filtered