(Kidding obviously, at least for the latter).
I think at first the colleague might assume it's a bug in the terminal not someone had replaced the command with an alias
or just alias them to echo, so that it prints out the file name, not even the file content
(Kidding obviously, at least for the latter).