Post: docs for libchthon.