Extensions to `window.el'