Unnecessary, I believe; already included in `distributed/base.html`