5. HOWTO contributors

The following people contributed to this fine HOWTO in one way or another.