documents = {
const documents = [];
var last = "4096-01-01T00:45:25.493Z";
var seen = false;
do {
seen = (await fetch(
`${endpoint}/documents/@${whoami}?before=${last}`
).then(d => d.json())).map(d => {
(d.url = `/@${whoami}/${d.slug}`), documents.push(d);
last = d.update_time;
}).length;
yield documents.slice(0, MAXDOCS);
} while (seen && documents.length < MAXDOCS);
}