This page has moved to https://drmaciver.com/notebook/2022/05/how-to-be-lucky/.