After PR #3291 is merged, we should document what files should be added/updated when adding a new module.