quoted

[ so in small repos, where there are fewer than 256 objects,
F[i] == F[i+1], for all i'th where there is no object starting with i
byte]

Correct. I'm not sure this additional information is valuable for the
document, though.

It is not, I was just making sure I'd understand correctly.