-...@url{http://www.gnu.org/server/@/standards@/boilerplate-source.html}.
+...@url{http://www.gnu.org/server/@/standards/@/boilerplate-source.html}.Thanks, installed in the sources.
-...@url{http://www.gnu.org/server/@/standards@/boilerplate-source.html}.
+...@url{http://www.gnu.org/server/@/standards/@/boilerplate-source.html}.Thanks, installed in the sources.