Documentation: sub headers added to "precompilation" section.