If you take a look at line 414 above, you see we have some references to line numbers (looks like `{3,16-17,31}`) - these allow us to do highlighting of certain lines on the website. Since you're adding lines in the middle here and later, we need to adjust the line numbers so the same thing stays highlighted.