Nico Schlömer

This needs a minimal example file.

Nope, not planned.

Another instance of this: ``` git-hg clone ssh://[email protected]/eigen/eigen ``` gives ``` fatal: Missing space before < in ident string: Michael Schmidt \ 1363698042 +0100 fast-import: dumping crash report to fast_import_crash_43489...

No idea why it's looking for `favicon.ico`. If anything, it should be `favicon256.png`.

I double-checked and `favicon256.png` _is_ shipped. No idea what should be wrong here.

There's now a _Reset zoom_ button.

No idea.

No idea why this should be happening, really. I'll be more than happy to review PRs fixing this!

Good idea, but I don't actually know how to refresh a tab using Python. If you have a good idea, let me know.

That won't work. All the logic is done in Python.