tools and updates including prettify and codify