Add 'what does "PuTTY" mean?', and add some IPA to the shortened pronunciation