IMO TMR is the best font for any kind of pure technical documentation. To me a document written in TNR feels like pure and useful form of information without trying to sell something or force some opinion on me.