How to bump 10k records csv export limit in Data Explorer?

A post was split to a new topic: Creating a plugin to override QUERY_RESULT_MAX_LIMIT