+ note some color definitions obtained via tput
+ setup Renv on the TGI workstation