Fix texdoclet not escaping double quotes