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."