The old homepage should be migrated to GitHub, possibly merging it with the Wiki.
The old homepage should be migrated to GitHub, possibly merging it with the Wiki.