Doc rendering

Files render. render_docs renders them.