document the mysterious abc part of the header

One can't help but wonder what it is about.