diff --git a/.gitignore b/.gitignore
index ec0c240..2599a31 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,3 +2,4 @@ site/
 data.md
 site.txz
 local-targets.mk
+tags
diff --git a/handbook b/handbook
index ce26054..56ca148 160000
--- a/handbook
+++ b/handbook
@@ -1 +1 @@
-Subproject commit ce26054ec856d61f0a6346b23554542130ae01d8
+Subproject commit 56ca148aa0162fde5c9aa5e555bcf3379d834dcb
diff --git a/hhl b/hhl
index fddfbf0..895eaa6 160000
--- a/hhl
+++ b/hhl
@@ -1 +1 @@
-Subproject commit fddfbf0293d00ce832383e14d8c07ebff2d8bda5
+Subproject commit 895eaa6dbac238cf7c5f9d5abf719350828ecbb2