It is up to you. You already have the link to the spec on the top. It is not very productive to put it everywhere. I am thinking more about names that mean something to developers when they write code. They won't need to look at the spec if the name is x509Url or x509Thumbrint. This way they don't have to look at your header to remind themselves what x5u is.