A brief post, with a note of thanks:
Thank you to the UEFI Forum, for making the specifications more publicly available again!
(Earlier, the specs were downloadable directly from uefi.org, albeit with a click-to-download message. Later, the specs were no longer publicly-downloadable, but only for UEFI Forum members. Currently, the UEFI Forum has changed the access to the specs to be publicly-downloadable.
BTW, curent public UEFI spec is 2.4, but 2.5 is apparently be worked on, and they are meeting in May, so I hope that we’ll soon see UEFI 2.5 specs publicly-available later this month…