Ensure bookmark positions are stable across reshapes
tree40e2e8dd5bf6bffdc0bef546ff2ad0dc7acb5b5e
-rw-r--r-- 971 BUILDING
-rw-r--r-- 1289 KEYS
-rw-r--r-- 273 README
-rw-r--r-- 148 Thanks
-rw-r--r-- 3003 build.ml
-rw-r--r-- 509 build.sh
-rw-r--r-- 38169 link.c
-rw-r--r-- 35726 main.ml
-rw-r--r-- 794 tbs