I mistakenly lost a "git mv easy-install.md install-scripted.md" when reworking the commit, I suppose.