Add deep-link anchor for BlockingQueue Tutorial on the landing page

[Copilot]

The landing page lacked a stable fragment target for directly linking to the BlockingQueue Tutorial section. This change adds a dedicated anchor so URLs can jump users straight to that section.

• Landing page anchor

  • Added an explicit section id to the BlockingQueue tutorial block in src/app/page.tsx.
  • Enables direct links like /#blocking-queue-tutorial.

• Regression coverage

  • Added a focused home page test to assert the BlockingQueue heading resolves to a section with the new anchor id.

<section id="blocking-queue-tutorial">
  <h2 className="text-2xl font-bold text-gray-900 mb-2">
    BlockingQueue Tutorial
  </h2>
  ...
</section>

[lemmy]

@copilot Also add anchors for "How to Write TLA+" and "Community Specifications".

[Copilot]

@copilot Also add anchors for "How to Write TLA+" and "Community Specifications".

Implemented in commit 22a48a7.

Added anchors for both requested sections on the landing page:

• #how-to-write-tla for “How to Write TLA+”
• #community-specifications for “Community Specifications”

I also kept the existing #specifications anchor for backward compatibility and updated the home page test to cover all section anchors.

[github-actions]

📦 Site preview built! Download the artifact to preview locally:

Download preview

To view: unzip, cd into the folder, then serve with a local HTTP server:

npx serve .
# or
python3 -m http.server