For those interested in the linux in schools issue, here is an article about gpl'd library catalogue software http://newsforge.com/newsforge/02/06/17/1514234.shtml?tid=11