← Feed @nick@amok.recoil.org Post #2832077 2026-05-15 10:26 UTC I am today years old when I realised https://www.jetbrains.com/clion/ should be pronounced sea lion Replies (0) No replies.