diff --git a/docs/notes.org b/docs/notes.org
index 6408633f00425c5bad0a510d594fd49a3f274dd9..4e0f65d2965be47f238f1699d48309fd39ffdf94 100644
--- a/docs/notes.org
+++ b/docs/notes.org
@@ -2,5 +2,6 @@
 https://stackoverflow.com/questions/39534718/how-to-create-a-pdf-out-of-sphinx-documentation-tool
 * Todo:
 ** TODO Write script to automatically rebuild the whole bunch
+** TODO: use typing from mypy and build that into the docs
 https://github.com/seqan/seqan3-doc/blob/user/source/make_source.py
-https://www.pythonforthelab.com/blog/documenting-with-sphinx-and-readthedocs/
\ No newline at end of file
+https://www.pythonforthelab.com/blog/documenting-with-sphinx-and-readthedocs/