Harald Schilly

well, I think you should have internet access out of the box. do you?

There is no library on docker. Once [this PR](https://github.com/sagemathinc/cocalc/pull/3359) is in, it won't show up. The pip-install error looks strange. I'll move that issue over to the https://github.com/sagemathinc/cocalc-docker/ repo.

You can use dpkg to search for binaries, e.g. `dpkg -S pythontex` tells you it's `texlive-extra-utils` one cocalc specific thing is that we use `pythontex3` for python 3. For Ubuntu...

hi, I am not sure what exactly is going wrong, but this ticket should be in the cocalc repo, since that's the place where the relevant code is. Besides that,...

it's on the right

control-; doesn't work for me on a german keyboard, since the ";" is shift-comma. And that's actually that reduce-fontsize.

summary: in the codecells of a sagews, dynamically replace all greek sounding variable names with a corresponding UTF-8 symbol. I'm not sure how well that works, but it's doable.

it's really cool, but i fear it's not useful right now. There are no callbacks for custom actions (there is a ticket with a workaround, though) and no support for...

I can give it a shot, and it's also nice that there are already all those icons.

When you click "Shift-F5" in FF, you should get the default firefox debug tools. There is a tab "Profiler". I am not really sure how to track this down, but...