documentation/dev-guide.md

@@ -2,6 +2,7 @@
 title: Developer guide
 ---
 
+
 # IMPORTANT 
 
 If you have a local clone of the repository that **predates Feb. 19th, 2025, you must absolutely make a new clone**. 
@@ -274,7 +275,7 @@ You can :
 # Good practices
 
 ## Coding
-- all additions to the code should follow commonly accepted coding practices (e.g. PEP8)
+All additions to the code should follow commonly accepted coding practices (for Python, see [PEP8](https://peps.python.org/pep-0008/)).
 
 ## Documentation
 Document all of your work !