Now we have a new website draft in `dev/`. We need to replace some placeholders so we can release the website.