Sorry, I waited until the last minute to do some development work and as a result Github is now down. Mea culpa.