John D. Thomas' purposefully minimalist homepage