Optimism: We Translated Its Documentation