Not to be pedantic but maybe remove the "GitHub" from the title. Some people might get confused thinking this is something official amid recent investment of MS (GH owner) in ChatGPT. Nonetheless, fascinating!