Documentation for tex-gettitlestring
