Looks like @steinitz hasn't received any replies!