[[This is my attempt to return this web page back to its
contents before someone accidentally replaced it.]]