Hacking the make-index script; it's awful but I'll improve it after the transition to two specs