\section{Getting the Tool}
A distribution containing the source code for the matching tool as well as this
-document may be browsed or downloaded at (NOT YET):
+document may be browsed or downloaded at:
\[\hbox{\url{https://mattmccutchen.net/match/}}\]
There are currently two branches:
\begin{itemize}