Org-FAQ request for full-text dump

[Benjamin Andresen <benny@in-ulm.de>]

Hello guys,

quite often people ask question in the IRC-channel (#org-mode on
freenode) which are answered in the FAQ. Now I personally find the
org-faq very cumbersome to use, due to its javascript-interface that
grabs keys.

(Just a short thing: I'm faster with my native browser search
functionality than with the interface that is used on org-faq.php

In my browser it's: /color n n n N n

vs.

s color s RET s RET s RET and I don't even know how to jump back to a
previous search results (also sometimes the first search doesn't even
work, I have to do it twice, haven't investigated this further.))

Because of this I currently use the org-faq.org file locally and
then grab the CUSTOM_ID and attach it to the org-faq.php link as an
anchor.

So my question is basically: Could we get a plain dump of the file?

(I don't know who controls the export and I guess just copying the file
and stripping out all the infoJS stuff is not the right way to do it.)

br,
benny

Please don't take offense, I'm sure many other people like the infoJS
interface, I just find it inefficient and mainly different from the way
I search the web.