(author here) Thanks! Almost all of those lessons are much easier with 30+ years of hindsight and counter-examples, of course.