Just as a follow-up, there’s a very good inductive proof of the solution on this page.
And on his solution page xkcd poses a few questions “that may force you to further explore the structure of the puzzle:”
He doesn’t provide any answers and even though I’ve just about wrapped my head around the solution now I couldn’t satisfactorily answer any of them!