scripts These are various development and CI scripts for CoreRAD. Most users should not need to use these directly.