@tlaurion @mkukri I agree wholeheartedly with your proposal.
And for now, you may refer to Libreboot documentation as desired.
Well, the upstream coreboot documentation currently does not need T480 information, since the actual T480 code isn't merged upstream yet, so I propose that this be done at that time when the latter is done.