remove the modules channel and notation as they are now in lib-core