Looks like @georgeveth hasn't received any replies!