OpenBSD is known to provide correct and extensive documentation, compared to e. g. GNU/Linux. Is there a technical overview, for a developer, who would like to start contributin