Pushdown Processing Advanced Function Mapping

Evening all,
We're looking at implementing pushdown with Snowflake and have hit a couple of functions where we've had to workaround to avoid blocking the pushdown process. However, this advanced function mapping (as per documentation screenshot below) may help us fill some of those gaps and keep our workflows simpler. 3 questions:
- Does anyone have an example of the JSON file so I can understand how to structure it?
- Can it be applied to Native Functions which have no default mapping?
- Can it override the SQL behind the already supported Native Functions?
Example for Q2: the In Range function isn't supported, but rather than force users to have to replace all these with More Than AND Less Than, I'd like to make this as a custom mapping.
Example use case for Q3: The After function uses REGEX_INSTR and so full stop is treated as a special character - and even trying to escape that character it still didn't work correctly - so it may be more appropriate for our use case to overwrite and use Snowflakes POSITION function instead.
Thanks
Mike