Drop manifest formatting

Factored out to json-format tool.