Yup, I had to delve deep before I realised it was bash aliases for Linux commands. It was actually the list on the right hand of the screen that lead to the realisation!