Some updates to the doc for the shell (trying to remove 'xaps'-prefix. Possibly also updating the pdf-doc