Documentation for tex-gettitlestring.
