I notice @Yochanan was the last to edit that tutorial (in 2023). Perhaps he might update it again when time allows.