Make things work.
Merge branch 'master' of https://github.com/arnoldrobbins/texiwebjr
Finish polishing up several days' work, more to do.