Documentation for tex-marginfix
