obra’s Twitter Archive—№ 28,285

Do I know anyone who has ever shipped hardware with the Arduino runtime inside? What are the right license disclosures for the docs?