init-mozrepl.el deleted.