Here is the script to generate the GeoJSON file: https://github.com/davidbailey/py/blob/master/walkbike2015.p...
Thanks for the info about attribution. I've updated the page.