Add more comprehensive header documentation.