deleted because it being rolled into README.org