Update devel/README.md