diff --git a/.github/README.md b/.github/README.md
index 1721667f02..ab3653515f 100644
--- a/.github/README.md
+++ b/.github/README.md
@@ -117,3 +117,5 @@ implementation group: 'org.aya-prover', name: '[project name]', version: '[lates
   + The literate-markdown related infrastructure is in `tools-md`.
     It offers commonmark extensions for literate mode of any language with a highlighter.
 + `[latest version]` is what you see on this badge ![maven].
+
+![](./fat_agda.jpg)
diff --git a/.github/fat_agda.jpg b/.github/fat_agda.jpg
new file mode 100644
index 0000000000..e97ba980c5
Binary files /dev/null and b/.github/fat_agda.jpg differ