A new improved version of Extra Keys has been released – our small tool that makes it really easy to type accented letters and other characters that may not be on your keyboard.
I know there are plenty of other ways to do this, but it can still be quite awkward. In fact the Extra Keys tool is our most … … read more
We have recently changed our Cookie Law compliance so that we now use a kind of semi-implied consent. We still show a banner asking first-time website users to agree to our use of cookies, but it no longer blocks continued navigation of the site and the notice is now shown as a bar at the bottom of the page. The … … read more