DocC

• DocC: notes on getting started Jul 5, 2025