So that I can put other doc-related stuff there without polluting the
root dir.