(cherry picked from commit d3cdabb5c9)
d3cdabb5c9
This converts the FAQ into AsciiDoc and includes it in the HTML manual.