`dgrey` isn't needed for any of these headers any more.