Thank you, Ed, for giving the right link for Android users. However, it is not my impression that these fonts will do well in a textual document on a large desktop monitor - they look so awful here, that I already am planing to remove them again.
Also Thank You for writing
when push comes to shove; I can't remember ever reading that phrase before!
when push comes to shove
English Phrase
(idiomatic) When the pressure is on; when the situation is critical or urgent; when the time has come for action, even if it is difficult-wiktionary
Normally I hate Google. Mainly because I quite often will want the oldest version (= the original version) of a file, and Google refuses to look for it. But the Internet includes so many misquotes, and falsified pictures, or stolen material, and if the oldest file not is available, how will we ever know that we are not being lied to? Google is in some areas doing far more bad, than good.
Oops! I did it again! Sorry for going astray. I like these fonts, but something about them is not yet perfect.