javascript – Magento 2: Translate knockout html where “” is used

In Magento_Checkout/web/template/minicart/content.html there is a “” used.
I believe it is in JS knockout: see the code below:

    <!-- ko ifnot: getCartParam('summary_count') -->

    <div class="c-minicart__footer__right col-8">
        <i class="icon-envelope"></i>
        <a href=""></a>
    <!-- /ko -->

Now I can translate the last piece by “” to
into something like “”.
But how can I translate “” into “”?