deletions | additions       diff --git a/Plugins.tex b/Plugins.tex  index 3f89961..deb4a36 100644  --- a/Plugins.tex  +++ b/Plugins.tex 
...
\label{plugins} \section{Plug-ins: the Software Development Kit} \label{sec:plugins}