Add missing release files, add `doc_html` to `all` target, make
formatting more consistent.