Update jacksafe-manual.md