The codebase for redcard, incl submodules