Correct formatting of **History**
Docs for sys.interface_flags.