v1.0.3

Bug Fixes

• Fixed anchor links for multi-block pages - Links to definitions in later code blocks now correctly target the appropriate block (e.g., #B2-L3) instead of always defaulting to the first block (#B1-L3). This fixes navigation in literate Agda documentation with multiple code blocks.

Fixes #1