Minor :doc mods, and use GCL si::without-interrupts.