-7896 user/spacing.itely -- Spacing issues
-8377 user/changing-defaults.itely -- Changing defaults
-5218 user/programming-interface.itely -- Interfaces for programmers
-1146 user/notation-appendices.itely -- Notation manual tables
+8297 user/spacing.itely -- Spacing issues
+11307 user/changing-defaults.itely -- Changing defaults
+5202 user/programming-interface.itely -- Interfaces for programmers
+1155 user/notation-appendices.itely -- Notation manual tables