Removed unnecessary collection-extensions file per hannes' comment.