added pretty version of all-elements.json