Hm, I thought I removed it, but now I see I just added the file to `.gitignore`. Done, thanks.