This is a great logic puzzle in the Everett Kaser tradition. Just one recommendation. Could you add an option to disable the highlights to make it more challenging?
Disabling highlights seems to be a highly requested feature at this point, so the next update (hopefully end of June) will include it.