Currently, we display full IP numbers on history pages. Is that a bug
or a feature? Looking at the code in special_recentchangeslayout.php, l.
91-100, it appears that the full IP (including last 3 digits) was put
in deliberately (or else I can't see the point of that code).
Axel