Looks like @kliforth hasn't received any replies!