Unless this is needed before next week, this will be fixed once we have moved out of Wordpress. Changing code snippets (even line-numbering, like in this case) can break the whole page in unexpected ways. I'd prefer to avoid that during these last days of the scopes contest.
Unless this is needed before next week, this will be fixed once we have moved out of Wordpress. Changing code snippets (even line-numbering, like in this case) can break the whole page in unexpected ways. I'd prefer to avoid that during these last days of the scopes contest.