Removed tools/ and vendor/ : legacy bookmarklet-related stuff