It's a great font but I do not see anything that looks similar in the PDF. This comment is more like "Speaking of fonts, I like this unrelated san serif mono spaced font."
That's a nice font but... pricey.
$75 for a font is pretty good I thought . I’ve found some other fonts I’d love to use for twice the price, or more, with more restrictive licensing.
I enjoy using it for reading and writing code.