[macros] Remove unused \techterm macro

Author: tkoeppe

source/macros.tex

@@ -182,7 +182,6 @@
 \newcommand{\tcode}[1]{\CodeStylex{#1}}
 \newcommand{\defnx}[2]{\indexdefn{#2}\textit{#1}}
 \newcommand{\defn}[1]{\defnx{#1}{#1}}
-\newcommand{\techterm}[1]{\textit{#1}}
 \newcommand{\term}[1]{\textit{#1}}
 \newcommand{\gterm}[1]{\GrammarStylex{#1}}
 \newcommand{\fakegrammarterm}[1]{\gterm{#1}}
@@ -365,7 +364,6 @@
         midpenalty=500, endpenalty=-50,
         emptylinepenalty=-250, semicolonpenalty=0}%
 \renewcommand{\tcode}[1]{\textup{\CodeStylex{##1}}}%
-\renewcommand{\techterm}[1]{\textit{\CodeStylex{##1}}}%
 \renewcommand{\term}[1]{\textit{##1}}%
 \renewcommand{\grammarterm}[1]{\gterm{##1}}%
 }