[gluegadget]

Off-topic but I tried https version of paulgraham.com but got a bad cert domain name error. SANs are for store.yahoo.com, leftover of Viaweb?