Cpplint forbids more headers than the style guide

[aaronliu0130]

In L5842 – L5873 of cpplint.py , 10 headers, including <mutex>, are unapproved along with alignment_of and aligned_union. However, only 3 of these headers are documented as "may not be used" under § Other Features and anywhere else. In fact, "Mutex" with a capital M is specifically cited as a consideration against copyable types.

Is there a place I'm missing that specifies more headers to be forbidden?