See prj/ohthk/doc directory.