Re: [9fans] sources down

[hiro]

no i agree lucio, i failed in believing what you described would be
obvious to everybody involved.
the script itself is rather simple. but the outcome is more important:
thanks to david for making sure everybody can find the plan9 history
on google/github without having to get too deeply involved.