#网摘 The enjoyment of one's tools is an essential ingredient of successful work. -- Donald E. Knuth