[texhax] Ruby dev to help add LaTeX reference to DevDocs.io?

[Karl Berry]

Hi Paul,

    I think even though latexrefman is unofficial, it remains the only
    option.[1]

As far as I know, that is true.

    Would you consider converting the repo to git and hosting on GitHub?

No, I don't want to do that.  If anyone feels compelled to use git,
they can use git-over-svn.  There is no need for any contributor to use
any VC at all, as far as that goes.  Just sending patches works
perfectly well here.

Playing around with infrastructure (or the organization of the document)
is easy, but a waste of time in this instance.  What's needed is serious
time and attention spent on working on new content.  Git and github are
the flavor of the moment.  There have been other vc flavors at other
times.  None of that matters; the infrastructure is immaterial.

There are some notes at the top of the file about things to do, for
anyone who might care.

    I feel like that would encourage more contributions, 

>From experience, I am 99% sure that nothing would be gained.

best,
karl