[9fans] sources browser script?

[Benjamin Huntsman]

Speaking of web servers...
Is the script that creates the pages for the source browsing on 
plan9.bell-labs.com/sources/ included in the distribution or otherwise 
available?  It's pretty neat, and may be useful...

Thanks in advance!

-Ben