What's the best practice for mapping pavements alongside the roads? This is the first time I've come across pavements mapped as separate ways, and seems (to me) like a lot of effort for not much gain. Is there an option in the road's tags to specify that there are pavements at the side of the road?