On Sun, 10 Oct 2004, Henrik Jonsson wrote: > Now, if anyone has got a good cure for minor cuts to the fingertips, > I'd be REAL happy. ;-) So there was a horrible accident at my lab yesterday, and today we weren't allowed to run any hardware while the safety rules were updated and repromulgated (no, not "repromogulated", which my fingers seem to prefer) and reread, so my boss and I worked on some years-behind documentation, and just after sitting down he proceeded to get a nasty paper cut.