3 ms·> I'd have posted it myself directly, but xach.com is blacklisted from HN. Strange... should be changed...by lispm 12y ago> I'd have posted it myself directly, but xach.com is blacklisted from HN. Strange... should be changed...