Literate documentation: treating docs as contracts over system behavior | Dark Hacker News