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