Minor syntactic/doc tweaks
New extension mechanism, part 5: extensions may now also add ghost blocks (notes and bibs)