This code can now be found on the Pi Zero disc image, which is in the 
files directory of the ip400 group on groups.io.