Reimplemented document.all.%{} (c.f. HTML revision 8501)