Manually added all of the header ids, which GitHub kindly removed.