[v3 PATCH] Minor comment cleanup on optional.

[Jonathan Wakely]

On 18/07/16 15:43 +0300, Ville Voutilainen wrote:
>    Clean up optional's comments.
>    * include/std/optional: Remove incorrect section headers
>    from comments when redundant, replace bare section
>    headers with more descriptive comments.

OK for trunk, thanks.