Sorry, the link to the Fedora doc: https://blog.uncooperative.org/blog/2014/02/06/the-efi-system-partition/