I wrote a post about the paving but it was a long time ago. Maybe I'll come across it and repost it. If I remember rightly there are 6 different types depending upon the type of crossing/road. I'd never realised that until I did the research for the article. it's pretty clever. 😁
Tilda, tilda, tilda. Sounds like a song! 😂