It turned out pandoc 2.3 has "smart quotes" handling which is somewhat broken. Turn it off.

Also, when regenerating build documentation it turned out that some table columnss were incorrectly formatted in markdown which made them lose their alignment.