{"eukleides": {"root": "extensions/eukleides", "stylesheets": [], "javascripts": ["eukleides.js"]}, "quantities": {"root": "extensions/quantities", "stylesheets": [], "javascripts": ["quantities.js"]}, "random_person": {"root": "extensions/random_person", "stylesheets": [], "javascripts": ["random_person.js"]}}