Developers' guide

Internal data structure

Testing

Last modified September 19, 2023: mv docs/internals.md https://lima-vm.io/docs/dev/internals/ (d6da9e7)