040000 tree 2c85bd3a036dadc33f92578caf51929e4ccbc611	extension
040000 tree 063a594c50ce9f140342a410156b442420b89901	plugin
040000 tree 241435d431f1d809420a1cd40ecb5dede113d777	preferences
040000 tree e5b5aa1b170e327ae664ac2d47218bd59fe15293	server
040000 tree cd50312ddc28a26bd4b74294102191f9b733b292	widgets