Missing space before "et al" in citations

[kim-em]

When a reference has more than 2 authors, the inline citation renders the first author's last name immediately followed by "et al" with no space.

Actual: (Smithet al, 2025)
Expected: (Smith et al., 2025)

HTML output:

(Smith<em>et al</em>, 2025)

Also missing the trailing period — the standard abbreviation is "et al." not "et al".

The source is Bibliography.lean line 274:

(· ++ {{<em>"et al"</em>}}) <$> go (Bibliography.lastName p.authors[0])

Same issue in the TeX backend at line 311.

MWE: https://github.com/kim-em/verso-citation-mwe

🤖 Found, diagnosed, and filed by Claude Code.

[kim-em]

To be clear, this is a genuinely missing space, not just a visual artifact of italics. The HTML output is:

Smith<em>et al</em>

not Smith <em>et al</em>. The source at Bibliography.lean:274 concatenates directly with no space:

(· ++ {{<em>"et al"</em>}}) <$> go (Bibliography.lastName p.authors[0])