I don't have time to maintain this any longer: mail me if there is any content you would like to adopt.