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