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.