Skip to content

Conversation

@SuaYoo
Copy link
Member

@SuaYoo SuaYoo commented Dec 1, 2025

Resolves #2975

Changes

  • Updates browser profiles user guide and separates into distinct pages for overview, creating, and editing.
  • Fixes workflow settings "Proxy" label to match UI.
  • Adjusts mkdocs heading styling.

Manual testing

Run mkdocs serve from frontend/docs and review the following pages:

  1. User Guide > Browser Profiles > Intro to Browser Profiles
  2. User Guide > Browser Profiles > Create a New Browser Profile
  3. User Guide > Browser Profiles > Configure Sites
  4. User Guide > Browser Profiles > Edit Browser Profiles
  5. User Guide > Crawling > Crawl Workflow Settings / Browser Settings

Screenshots

User Guide > Browser Profiles > Intro to Browser Profiles

Screenshot 2025-12-01 at 1 54 47 PM

User Guide > Browser Profiles > Create a New Browser Profile

Screenshot 2025-12-01 at 1 55 10 PM

User Guide > Browser Profiles > Configure Sites

Screenshot 2025-12-01 at 1 56 12 PM

User Guide > Crawling > Crawl Workflow Settings / Browser Settings

Screenshot 2025-12-01 at 1 58 25 PM

Caveat

I corrected the user guide "Proxy" -> "Crawler Proxy Server" to match the UI and updated the links within our user guide. This may break any external permalinks that reference the old "Proxy" header since mkdocs-redirects doesn't support hash redirects yet (mkdocs/mkdocs-redirects#69).

@SuaYoo SuaYoo requested review from emma-sg, ikreymer and tw4l December 1, 2025 21:59
Copy link
Member

@emma-sg emma-sg left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good! Left a few little suggestions

SuaYoo and others added 4 commits December 1, 2025 14:51
Co-authored-by: Emma Segal-Grossman <hi@emma.cafe>
Co-authored-by: Tessa Walsh <tessa@bitarchivist.net>
Base automatically changed from frontend-browser-profile-ui-enhancements to main December 2, 2025 19:13
Copy link
Member

@ikreymer ikreymer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks great! Thanks for the thorough update on profiles!

@SuaYoo SuaYoo merged commit a2b9ff2 into main Dec 2, 2025
29 checks passed
@SuaYoo SuaYoo deleted the frontend-browser-profile-ui-enhancements--docs branch December 2, 2025 19:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[Task]: Update browser profile user guide

5 participants