not sure how else to commit that I deleted (actually, moved) a file