This aligns the documentation for SSH key and PAT expiration as much as
possible, then highlights the critical distinction between them, as
this distinction is sensitive and needs to be clearly explained.