Looks like @paulchisto hasn't received any replies!