Btw, does anyone know of a better font identifier than WhatTheFont? It was awesome when it first came out but it seems to me like they haven't improved it in +8 years.
Nice, while their search results don't seem to be more exact than WhatTheFont's, the long list of suggestions is helpful. Number 38 is a close (perfect?) match: