[21:10:58] <jaufrecht>	 old phlog notes: https://docs.google.com/document/d/1imP1IUnIrq6zAdiwwIVsPh_vvKxnN4K2XHVaAXGsJWA/edit
[21:11:08] <jaufrecht>	 today's notes: https://docs.google.com/document/d/1QFnSfx7iSgNa343v4Bw0wHGBygYLZp8MpYxnHFtaKz4/edit