Also, when regenerating build documentation it turned out that some table columns were incorrectly formatted in markdown which made them lose their alignment.
Bug: https://bugs.openjdk.java.net/browse/JDK-8215131WebRev: http://cr.openjdk.java.net/~ihse/JDK-8215131-pandoc-2-no-smart-quotes/webrev.01
/Magnus