diff --git a/PROGRESS.md b/PROGRESS.md
index e779399..57dcf66 100644
--- a/PROGRESS.md
+++ b/PROGRESS.md
@@ -48,6 +48,8 @@
 - Profile page now allows editing name and password (email immutable).
 - Docs: Added docs in `docs/` (tracked, not shipped) with HTML + PlantUML sequences + draw.io diagrams. Ignored from deploy via runtime paths; kept in git.
 - Documentation pivoted to Mermaid-only diagrams (sequence + architecture/infra/pipeline), rendered in-browser; legacy draw.io/PlantUML assets removed for simplicity.
+- Updated docs to fix Mermaid syntax and labels; Mermaid renders cleanly across all pages.
+- Local Docker cleanup: removed all stale images (including registry.halla-aho.net:443 tags); only current `3a5de63` and `latest` remain.
 - Listing details: right rail now surfaces quick facts + amenity icons; browse map given fixed height so OpenStreetMap tiles show reliably; footer links to privacy page with version indicator.
 
 To resume: