Several RFCs use the term 'HTTP protocol' (example). However, the acronym 'HTTP' already includes the word 'protocol' in it. Hence, isn't it redundant (and hence incorrect) to use 'HTTP protocol', whereas the correct usage would be simply 'HTTP'?
Why do RFCs make such usage?