diff --git a/RelatedProjects.md b/RelatedProjects.md
index 84415a5..b5527af 100644
--- a/RelatedProjects.md
+++ b/RelatedProjects.md
@@ -54,4 +54,5 @@ These projects have no specific relationship with our project, but they are simi
 
 ## See Also
 
+Our [Dev page](Dev), especially the [developing Extensions page](Extensions)
 Our [Bibliography page](Bibliography).