The “Restoring original visitor IPs” help page is outdated. The IP ranges page indicates that 188.8.131.52/12 was replaced with 184.108.40.206/13 and 220.127.116.11/14 on 8 April. Please could you update the help page?
Darn it. Of course those lists are hard-coded somewhere else. I see it in the Installing mod_remoteip, NGINX, and Litehttpd sections.
@cwaters is the whack-a-mole champion in Documentation.