note in ifftex syng to iffgit: ifftex doesn't notice when i delete sth on iffgit side. i still have to delete it manually here and then merge. so better idea is to always delete stuff on ifftex side to avoid duplicate commits.