Closed V0XNIHILI closed 6 months ago
In 10.3.4, there is some bold part in the intro of the section:
However, as far as I can see, this is only done here. Should we keep this or remove it?
Thanks - fixed here 3b575367bfa97ed825b72baf34148178a59e56fb (figured it is faster for me to just resolve it than us going back and forth)
In 10.3.4, there is some bold part in the intro of the section:
However, as far as I can see, this is only done here. Should we keep this or remove it?