Your -etex switch patch looks reasonable, though I might make some changes (variable names &c) when I check in the code.

I forgot to consider aleph (eobase.ch and eoext.ch). Please check in also those files. Thanks, -- Akira Kakuto