sudoers: added "user host=NOPASSWD: /usr/bin/arm" to allow running arm without sudo
gateway help file: replaced "sudo arm" with "arm", because sudo is no longer required.
workstation: documentation icon - documentation in upper case