Hi Andreas,
I want to ask for lines 70--77 of
'bibtex.web' be removed for good.
Consider it asked (Oren will have seen your msg, and he is already well
aware of the active E madness). However, I have no sense that
Oren is going to release a new version of bibtex.web any time in the
foreseeable future. --best, karl.