On Wed, 12 Aug 2020 at 18:27, Dave F via Talk-GB <talk-gb at openstreetmap.org> wrote: >> TOIDs > What is it? https://en.wikipedia.org/wiki/TOID -- Andy Mabbett @pigsonthewing http://pigsonthewing.org.uk