You can add a comment to $wgShowIPinHeader while at it.
Sure. added $wgShowIPinHeader comment with r110837