manual: removed recommendation to not include standard headers from the manual. I can't provide good reasons to not include the standard headers right now.