Folder name updated

Much more appropriate name, meaning less confusion about mistaking the
repo as a depo.