Style: use a blank line to visually detach a comment from code it's not directly attached to.

(The comment is conceptually attached to a lot of code beginning there,
not just the next few lines.)