Add download count and some inconsequential lint formatting changes.