Sorry, stupid remark, I hadn't seen that you had moved it. Please disregard. The github interface is much clearer than looking at diffs :)