shellViewPdf: use Sys.info() for platform dispatching; correct/improve comments