Apparently this site is not supposed to be included in the global header
project, but just wanted to make a note that we needed to check and make
sure that we do whatever is necessary for these pages.
Just changing my email address to the correct one.
So, do we have a definitive word on whether the DevNet section will undergo a
header change when we launch the global header?
Closing this out until we have plans for another header change.