* manual/debug.texi: Document MTASC-safety properties.