Fix Dead GitHub Hall of Fame Link#22

This issue appears to be discussing a feature request or bug report related to the repository. Based on the content, it seems to be resolved. The issue was opened by WGierke and has received 1 comments.