I also envisioned a fun 'watch me backtrack' mode.

These are precisely the matches that will be returned by another option, which I think was called ':exhaustive'.

I expect that option also to be very useful for combinatorial exercises.

Hugo