This machine runs Linux, and in particular the Debian GNU/Linux distribution. These pages were prepared with WML and are served using the Apache webserver. All of these aforementioned tools are free (in the GNU sense, i.e. as in speech as well as in beer), and Open Source.