This is an unofficial mirror of pondini.org by James Pond, who is unfortunately no longer with us.
All rights belong to James' beneficiaries.
pondini.org has been a valuable resource over the years which is why I created this mirror.
No guarantee is made about the accuracy or completeness of this mirror.