@FaheemMitha looking in `/bin` I see several non-tex symlink, for example I am sure @PauloCereda will confirm `rvi` is something that is a symlink to vim and `man vim` says `Vim behaves differently, depending on the name of the command (the exe‐
cutable may still be the same file).`