ParentFull threadDouble_a_92·Design docs are for the developpers. Technical docs could also be for the users, by e.g. ending up in some manual or so.View on HN