Few typographical improvments.

Author: Clément

md_version/main.md

@@ -209,7 +209,7 @@ For commodity, a `\modifiedincludepdf` is provided:
 ```
 
 Note that using `label.x` will refer to the page `x` of the inserted document (starting with 1): refer to the source code of this current document for an example usage.
-We insert [in the following pages](#pdf:Gluck13) (p. \pageref{pdf:Gluck13.1}--\pageref{pdf:Gluck13.9}) an article as an example of PDF insertion.
+We insert [in the following pages](#pdf:Gluck13) (pp. \pageref{pdf:Gluck13.1}--\pageref{pdf:Gluck13.9}) an article as an example of PDF insertion.
 
 \modifiedincludepdf{}{pdf:Gluck13}{pdf/simulation_of_two_ways_pushdown_automata_revisited.pdf}{A paper proving concisely a result in automata theory that helped solve a real programming problem~\cite{DBLP:journals/corr/Gluck13}}{subsection}
 

md_version/references/references.bib

@@ -27,10 +27,7 @@ @inproceedings{DBLP:journals/corr/Gluck13
   volume       = {129},
   pages        = {250--258},
   year         = {2013},
-  url          = {https://doi.org/10.4204/EPTCS.129.15},
   doi          = {10.4204/EPTCS.129.15},
-  timestamp    = {Sun, 02 Jun 2019 20:54:28 +0200},
-  biburl       = {https://dblp.org/rec/journals/corr/Gluck13.bib},
   bibsource    = {dblp computer science bibliography, https://dblp.org}
 }