david’s assorted web pages