Removed README.devel- no longer needed