I added a copyright line for you and fleshed out the commit message. Pushed as 66d05055bbfbdb657a0743c6b6a2332cb319fc42. -- Efraim Flashner אפרים פלשנר GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted