jump to search:/  select search:K  navigate results:/  navigate suggestions:/  close suggestions:esc

    changes 2023-07-07

    July 7th, 2023
    • Added treemaps in Browse and Browse > Pages with D3.js.
    • Streamlined display and content on Search pages.
    • Confirmed that one could add a custom site search engine for this website: browser site search shortcuts
    • Changes to Tags:
      • Added case-insensitive sort to the index.
      • Fixed bug in uppercase tags appearing lowercase and not finding matches.
      • Fixed bug in ' handling in tags (ex. Google’s Bard (tag))
    • Changed to generated snippets:
      • Added generated_snippets_pipeline.py and caught up on unprocessed files.
      • Added SVGs to indicate generated snippets in the search results:
    Today's new posts