Allow to modify the option
Allow to modify the option

for debugging purposes. We may remove it when it’s not needed any more.

Tatoeba/tatoeba2,Tatoeba/tatoeba2,Tatoeba/tatoeba2,Tatoeba/tatoeba2,Tatoeba/tatoeba2