Comments added. I'm notified of them by email so feel free to comment on old posts. Accounts to come. HTML in comments to come. Spam solution to come if I get spam.
Want to discuss this? Join my forum.
(Due to multi-year, sustained harassment from David Deutsch and his fans, commenting here requires an account. Accounts are not publicly available. Discussion info.)