From: Jose Kahan (jose.kahan@w3.org) Date: Tue Oct 01 2002 - 11:19:03 CDT
Oops, I meant 8 extra chars, not 4 extra chars in my last message. This brings the hashed file name to 16 chars (plus extension).
-jose