gdbsource doc
Bugfix: Partials workspace not correctly cleared.
man update