@c This file is part of web/download.itexi and
@c learning/tutorial.itely
@ignore
- Translation of GIT committish: 15886a3b94fd3cfc90314e60f1a0412af42e61ec
+ Translation of GIT committish: 20858c6c9809c521d03576443dc8fa125e6f583b
When revising a translation, copy the HEAD committish of the
version that you are working on. For details, see the Contributors'