Imported some old docs (in the org-mode format of Emacs).