See sagemathinc/cocalc@2bb4802157b83cf1dcee570bd5bf2fa5add0bb67 