I do not work at LAMP anymore. This page serves as a repository for the following software bits: