diff --git a/openpgp-workshop/index.md b/openpgp-workshop/index.md
index 0a87a53..d48ea4a 100644
--- a/openpgp-workshop/index.md
+++ b/openpgp-workshop/index.md
@@ -85,8 +85,8 @@ What are some useful ways we can use OpenPGP:
 * `gpg --list-keys`
 * `echo "super secret text" > test.txt && cat test.txt`
 * `gpg --encrypt --recipient <email/ID> test.txt`
-* `gpg -er <email/ID> <filename> && cat test.txt.gpg`: notice it's a binary
-    * You can use `--armor/-a` to encode it as ASCII so you can send the encrypted data as text
+	* `gpg -er <email/ID> <filename> && cat test.txt.gpg`: notice it's a binary
+	    * You can use `--armor/-a` to encode it as ASCII so you can send the encrypted data as text
 * `gpg --armor -er <email/ID> test.txt && cat test.txt.asc`
 * `rm test.txt && ls`
 * `gpg --decrypt test.txt.gpg > test.txt`
@@ -111,6 +111,7 @@ What are some useful ways we can use OpenPGP:
 * Download:
     * Qubes-R*.iso
     * Cryptographic hash values
+    	* `gpg --verify --default-key <key> <filename>`
     * Detached PGP signature
     * Qubes release signing key
 
@@ -230,4 +231,10 @@ What are some useful ways we can use OpenPGP:
 
 * [openpgp-card](https://codeberg.org/openpgp-card)
     * [openpgp-card-tools](https://codeberg.org/openpgp-card/openpgp-card-tools)
-    * [ssh-agent](https://codeberg.org/openpgp-card/ssh-agent)
\ No newline at end of file
+    * [ssh-agent](https://codeberg.org/openpgp-card/ssh-agent)
+
+---
+
+# Cleanup
+
+* `gpg --delete-secret-and-public-keys <key_id>`