habryka comments on ODE to Joy: Insights from ‘A First Course in Ordinary Differential Equations’