Links for isarsoft-model-utility