Looks like @tomdw hasn't received any replies!