Contrario a <url> y muchos más, <url>, se llama <url>, lo que no es lo mismo. Internet Protocol es aquí un nombre propio que no suele traducirse, salvo para indicarse que significa, por otro lado, lleva a la confusión con el término "protocolo de internet", que en minúscula, es algo general, para definir un protocolo que se utiliza en internet, ¿podrás trasladarlo al nombre original, en inglés?