Index: doc/theses/andrew_beach_MMath/existing.tex
===================================================================
--- doc/theses/andrew_beach_MMath/existing.tex	(revision 29c9b238348fc96b3f7b9cfb6a76d90dcb71b892)
+++ doc/theses/andrew_beach_MMath/existing.tex	(revision 9af0fe2d0f3029afb274d53436e6e1bb0ef3cea9)
@@ -12,6 +12,5 @@
 obvious to the reader.
 
-\section{\texorpdfstring{Overloading and \lstinline|extern|}
-         {Overloading and extern}}
+\section{Overloading and \lstinline{extern}}
 \CFA has extensive overloading, allowing multiple definitions of the same name
 to be defined.~\cite{Moss18}
Index: doc/theses/andrew_beach_MMath/unwinding.tex
===================================================================
--- doc/theses/andrew_beach_MMath/unwinding.tex	(revision 29c9b238348fc96b3f7b9cfb6a76d90dcb71b892)
+++ doc/theses/andrew_beach_MMath/unwinding.tex	(revision 9af0fe2d0f3029afb274d53436e6e1bb0ef3cea9)
@@ -1,3 +1,3 @@
-\chapter{\texorpdfstring{Unwinding in \CFA}{Unwinding in Cforall}}
+\chapter{Unwinding in \CFA}
 
 Stack unwinding is the process of removing stack frames (activations) from the
@@ -110,5 +110,5 @@
 alternate transfers of control.
 
-\section{\texorpdfstring{\CFA Implementation}{Cforall Implementation}}
+\section{\CFA Implementation}
 
 To use libunwind, \CFA provides several wrappers, its own storage, personality
Index: doc/theses/andrew_beach_MMath/uw-ethesis.tex
===================================================================
--- doc/theses/andrew_beach_MMath/uw-ethesis.tex	(revision 29c9b238348fc96b3f7b9cfb6a76d90dcb71b892)
+++ doc/theses/andrew_beach_MMath/uw-ethesis.tex	(revision 9af0fe2d0f3029afb274d53436e6e1bb0ef3cea9)
@@ -92,5 +92,4 @@
 \newcommand{\href}[1]{#1} % does nothing, but defines the command so the
 % print-optimized version will ignore \href tags (redefined by hyperref pkg).
-%\newcommand{\texorpdfstring}[2]{#1} % does nothing, but defines the command
 % Anything defined here may be redefined by packages added below...