Aljosha Papsch

The issue is exacerbated when several language servers are running due to multiple projects. As a workaround I'm using earlyoom to kill off the language server: https://github.com/rfjakob/earlyoom.

That's doable, although not feasable for third party code. It might be worth pursuing this extension of is_string in PHP core, WDYT?

It seems the underlying issue is whether ungit should work more like a desktop app or like a web app. Ungit is currently not used as a desktop app (i.e....

> Options: > * could be handled by user profile that specifies localization (assuming logged in) > * patch web FF extension > * non-signed in cookie that defines localization...

Thanks for the clarification! Rereading the thread, I'd say having Google index only English pages would be the single most effective measure to have users access the canonical content rather...

Can version 2 be unfrozen after 2 years of no version 3?

I don't know why they recommended `-SwitchLinuxEngine`, maybe its an additional (undocumented) flag to `-SwitchDaemon`. Let's try with this command: ``` C:\"Program Files"\Docker\Docker\DockerCli.exe -SwitchDaemon ```

Let's forget what I said earlier. I tried DockerCli.exe on my local machine, and `-SwitchLinuxEngine` switches immediately to Linux containers, no restart needed.

Per Github runner [windows README](https://github.com/actions/runner-images/blob/main/images/windows/Windows2022-Readme.md) Docker is already installed. Maybe because you install Docker via `choco`, this messes things up.

I've salvaged the hash file from an old installation. Here it is: [php-extras-eldoc-functions.el.gz](https://github.com/arnested/php-extras/files/2365932/php-extras-eldoc-functions.el.gz). I haven't looked at the age in the old installation, but it should be no older than...