Useful tools for doing CMS work