Merge pull request #19 from huggingface/public-share-links

Merge pull request #23 from huggingface/agent-comments

Never show the collaborator list to a link visitor who happens to be signed in

Merge pull request #20 from huggingface/prompt-tighten

Keep origin_thread_id and anchor_kind in the tightened prompt

Fix two prompt defects the presence test could not see

Tighten the agent prompt: 10.6k chars down to 7.1k

Close four holes in the share link, from review

Hide the hover-comment button from link visitors too

Anyone with the link: read a project without an account

Merge pull request #13 from huggingface/agent-comments

Agents can open their own comments, and suggestions preview on subpages

Merge pull request #21 from huggingface/feat/standalone-feedback

Keep feedback actions visible and mark comment ranges

Keep traceability after source comments close

Make agent feedback standalone and traceable

Merge pull request #18 from huggingface/agent-privacy

Merge pull request #22 from huggingface/feat/default-user-agent

Close stdin for managed OpenCode runs

Merge pull request #17 from thomwolf/agent/mobile-reflow

Merge pull request #16 from thomwolf/sidebar-search

Merge pull request #15 from thomwolf/agent/hover-position-comment

Merge pull request #14 from thomwolf/agent/reader-text-size

Guard the invariant the two search walks rest on, and the review nits

Tell a merged-away paragraph from a deleted one

A dragged table put the sideways pan back, and the tests could not see it

Give the toolbar a row of its own when it stops fitting

Skip network discovery in managed OpenCode runs

Skip OpenCode title generation in managed runs

Make managed OpenCode startup deterministic

Add safe diagnostics for managed agent runs

Harden default agent isolation and capacity

Add a private default agent for each user

An agent you register is not shared with your collaborators

A phone could not read the document, only pan across it

The sidebar box searches page text, not just page titles

Comment beside a paragraph, from a hover in the right margin

A reader text size next to zoom: the knob that does reflow

Merge pull request #12 from huggingface/mention-watcher

A page-scoped websocket name could silence a project's @mentions

Merge pull request #11 from huggingface/bugfixes

Four fixes: agent subpages, the pending selection, overlapping marks, the star

Merge pull request #10 from huggingface/download-export

Download: this page or the project, as markdown or PDF

Merge pull request #9 from huggingface/proposals-in-place

Proposed pages live in the tree, where they would land

Merge pull request #8 from thomwolf/agent/sidebar-groups

Make groups draggable again

Left carets, home star, project subtitles, empty-group rename fix

Dialog-free UI, project-name header, rl-wiki sidebar polish