/* rastrillo.js — the fragment shim. First-party, dependency-free, and almost entirely inert: the polling section answers only to an opt-in data attribute, and everything it enhances also works with scripts disabled (a status page's