My webpage has moved, and this page will no longer be updated. The new page can be found at https://julianrosen.net/.