_Previously it was planned to make kartei a separate repository, but it has been decided to first move it to `<stockholm/kartei>`._

Kartei should contain all generally useful information, like
- user names
- host names
- service mappings / sitemaps
- ssh public keys
- tinc public keys
- PGP public keys
- IP addresses

#### TODO
- [x] move <stockholm/krebs/3modules/${username}> to kartei
- [x] move <stockholm/krebs/3module/external/${username}.nix> to kartei
- [x] move <stockholm/krebs/3module/external.nix> to kartei
- update documentation
  - [ ] [https://github.com/krebs/retiolum/blob/master/README.md](https://github.com/krebs/retiolum/blob/master/README.md)
- allow kartei to be augmented in stockholm (on a per-user basis) _this is a precondition for removing irrelevant stuff below_
- remove irrelevant stuff
  - [ ] `dns`
  - [ ] `hosts.*.ci`
  - [ ] `hosts.*.consul`
  - [ ] `hosts.*.cores`
  - [ ] `hosts.*.external`?
  - [ ] `hosts.*.extraZones`?
  - [ ] `hosts.*.monitoring`?
  - [ ] `hosts.*.ssh.privkey`
  - [ ] `hosts.*.secure`
  - [ ] `{users.*,hosts.*.owner}.home`
  - [ ] `{users.*,hosts.*.owner}.uid`

#### POSSIBLE FUTURE WORK

- turn kartei into a submodule so that its modules don't get access to the global `config`, why would we want that? do we?
- should `users` contain only real users? if so, do we need user aliases, or some other way to have multiple pubkeys etc.?