index.md: apparently I missed that Antonio had finished his task