Added manual to workspace extension