diff -r 93f0a3403c63 -r 8cce5ea3962b .hgtags
--- a/.hgtags	Sun Feb 08 20:06:03 2026 +0100
+++ b/.hgtags	Sun Feb 08 20:06:29 2026 +0100
@@ -7,3 +7,4 @@
 18a1a499f0656fcf5c6167cc261c414714b7c633 v3.1
 38d3f40a50ec1da816dace7f0ec932d05412b92b v3.2
 976e629ce9905073a4df22d08ef447e9287be49e v4.0
+93f0a3403c63b5baaa46926eabc68ebaf707a567 v4.0.1