“Google Docs OCR” and why it’s so exciting to me