Create an href for IPs using their IDs as, well, ID. Previously, the ID
that was used was their address, but this is not safe as there can be
more than one IP with the same address.