diff --git a/docs/2022-12-25-archlinux.html b/docs/2022-12-25-archlinux.html
index a581fa3..515ba71 100644
--- a/docs/2022-12-25-archlinux.html
+++ b/docs/2022-12-25-archlinux.html
@@ -172,6 +172,13 @@
         </tr>
       </tbody>
     </table>
+    <p>
+      Why not <code>/boot/efi</code>? See
+      <a
+        href="https://github.com/systemd/systemd/pull/3757#issuecomment-234290236"
+        >Lennart Poettering comment</a
+      >.
+    </p>
     <p>BIOS/GPT layout:</p>
     <table>
       <thead>
diff --git a/posts/2022-12-25-archlinux.md b/posts/2022-12-25-archlinux.md
index bb5dcab..63df9ee 100644
--- a/posts/2022-12-25-archlinux.md
+++ b/posts/2022-12-25-archlinux.md
@@ -46,6 +46,9 @@ UEFI/GPT layout:
 | `/mnt/boot` | `/dev/extended_boot_loader_partition` | Extended Boot Loader Partition | 1 GiB          |
 | `/mnt`      | `/dev/root_partition`                 | Root Partition                 |                |
 
+Why not `/boot/efi`?
+See [Lennart Poettering comment](https://github.com/systemd/systemd/pull/3757#issuecomment-234290236).
+
 BIOS/GPT layout:
 
 | Mount point | Partition             | Partition type      | Suggested size |