Documentation for tex-marginnote
