dev branch is not needed anymore, but can't be deleted because of external references to license and icons