Switched to Jekyll for website Oct 6, 2022 Migrating the website to use jekyll instead of jem-doc. Jem-doc is now about 10 years old and not supported, and finally broke with some python 2 vs python 3 issues. This new jekyll website should display much better on phones.