--- a/.hgtags	Thu Nov 07 22:38:14 2024 +0100
+++ b/.hgtags	Thu Nov 07 22:42:07 2024 +0100
@@ -457,3 +457,4 @@
 b1d408b2381d62da125e0f849bcf0547bc162bc9 V08.004
 a805a8ee2b85688e84ccaa6ba381147bebb6490d V08.005
 455bdfbdd320d7c1599bdb17b40cbafcd0c3926a V08.006
+4a1e6952afe583e9a619c9217ce89c54bcfac07d V09.000