doc/: Work in progress.