Deleted now-redundant files which were renamed in previous commit.