Looks like @wjw hasn't received any replies!