Author: tom

I switched my personal webpage to WordPress. While cleaning up the old web page, I deleted some very old things. If you miss something, please …