PHPeros, supongo que por compatibilidad entre navegadores es preferible usar window.location, ya que document.location es, en teoría, una propiedad de solo lectura y, por tanto, dependerá del navegador si se respeta esa característica o no.
Y sí, document.location === window.location, porque ambos son un objeto Location y la única diferencia es ese "pequeño detalle" mencionado arriba.
