diff --git a/docs/dev-mysql.md b/docs/dev-mysql.md
index 9ad296c..610eeb3 100644
--- a/docs/dev-mysql.md
+++ b/docs/dev-mysql.md
@@ -13,6 +13,28 @@ auf PDO/MySQL abbildet.
 In dieser VS-Code-Server-Umgebung wurde PHP lokal unter `.local/` entpackt,
 weil `sudo` nicht passwordless verfügbar war. `.local/` wird von Git ignoriert.
 
+### Nachträglich eine Erweiterung ergänzen (Beispiel `imap`)
+
+Ohne Root lässt sich ein `.deb` trotzdem auspacken und einbinden — so kam
+die `imap`-Erweiterung für den PayPal-Mailabruf dazu:
+
+```bash
+cd .local/debs
+curl -O http://archive.ubuntu.com/ubuntu/pool/universe/p/php8.3/php8.3-imap_8.3.6-0ubuntu0.24.04.10_amd64.deb
+curl -O http://archive.ubuntu.com/ubuntu/pool/universe/u/uw-imap/libc-client2007e_2007f~dfsg-7build3_amd64.deb
+dpkg-deb -x php8.3-imap_*.deb ../php
+dpkg-deb -x libc-client2007e_*.deb ../php
+# imap.so sucht libc-client.so.2007e im LD_LIBRARY_PATH aus .env.local:
+cp -a ../php/usr/lib/libc-client.so.2007e.0 ../php/usr/lib/x86_64-linux-gnu/
+ln -sf libc-client.so.2007e.0 ../php/usr/lib/x86_64-linux-gnu/libc-client.so.2007e
+echo 'extension=imap.so' >> ../php-dev.ini
+```
+
+Die Paketversion muss zur PHP-Version passen (`20230831` = PHP 8.3). Auf
+dem Webspace geht das **nicht** — dort entscheidet der Anbieter, welche
+Erweiterungen es gibt; siehe `docs/deployment.md`, Abschnitt
+PayPal-Postfach.
+
 ## Umgebungsvariablen
 
 ```bash