[MariaDB discuss] Re: VIDEX: possible issue with records_in_range(... page_range) parameter