Missing bolded text

### Description

The [HTML at the start of section 2](https://arxiv.org/html/2410.19520v1#S2) says `The theory of (originally defined by Dybjer [11])`, while the PDF says `The theory of Categories with Families (CwFs) (originally defined by Dybjer [11])`, with the text the HTML omitted being bold in the PDF.

### (Optional:) Please add any files, screenshots, or other information here.


### (Required) What is this issue most closely related to? Select one.

Other

### Internal issue ID

9da73530-7025-431f-b2c9-23d6b52b1cad

### Paper URL

https://arxiv.org/html/2410.19520v1

### Browser

Firefox/132.0

### Device Type

Desktop

Open the linked arXiv HTML at the start of section 2 and compare it with the linked PDF. Confirm that “Categories with Families (CwFs)” is omitted and bold in the PDF; done means the rendered HTML includes that text with the intended emphasis. The payload does not name a repository file or test to inspect.

Written by the indexing model from the issue text.