Minor typo fixes in Things I learnt from building Lean Poker speech