Regarding the section ids, do you think we should structure them in one common way? Sometimes we have prepended the chapter name, at other places not. As the ids show up in the anchor names, I guess it would be nice to have them in a unified manner, but probably not highest prio, though.