Last modified June 9, 2024: Fix github link on the doc site (66e5cd4)