Update content for core/coremodules.rst in Devel workshop