Looks like @genrih hasn't received any replies!