The general understanding is that none of that particular topic is unique to Eliezer

Right. I did not mean to imply that it was original research, though I suspect that he reproduced much of it on his own before matching with the existing literature.

I would also caution against using the idea "mainstream LWers"

My definition of a "mainstream LWer" is someone who adopts the Reductionism sequence without any significant reservations. Whether it's a good definition may be open to debate.