Dave Developer Docs

These are mostly generated by Claude+code2prompt because I was too lazy to make my own. I did review them at least and they seemed accurate at the time of this generation (2025-04-21)