Looks like @andrewharland hasn't received any replies!