I am today years old when I realised https://www.jetbrains.com/clion/ should be pronounced sea lion