I think linking to these headers (like you've done above) gets weird or impossible, so this is one spot where I avoid the literal normally.