For the less technical it sometimes helps to qualify what something is even if it is embedded in the abbreviation. But considering the audience here, you're right. I will remove the offending word.
You're playing with the capitalization.
Gopher protocol. DNS protocol. IRC protocol. HTTP protocol. HTTPS protocol. All fine.