Fixed bug #3523: Rewrite of workspace manual started