Hi Matthew, I see you pushed this based on Sandra's feedback and Richard's approval (which is fine).
As a practical note, instead of * doc/tm.texi: Regenerated. * target.def (function_attribute_inlinable_p, unspec_may_trap_p): Update documentation. I'd use * target.def (function_attribute_inlinable_p, unspec_may_trap_p): Update documentation. * doc/tm.texi: Regenerate. so that "Regenerated" follows the origin of what was changed and use active voice. In any case, thanks for keeping such docs in mind! Gerald