[tug-summer-of-code] texshow overhaul - where's the code?

[Karl Berry]

    Is the source for texshow available somewhere? 

I assume so.  I admit I don't have a url at hand.  It's a requirement
for GSoC.

I asked Mojca, who's the person who wrote that proposal.