text: All the woodland areas around here seem to be named, some named after people. This area is actually High Wood and Mike's Wood is to the east. Names added in https://www.openstreetmap.org/changeset/73239933