kaivol

> > > Hi @PhilippC, > Thank you for this great app and service - I use them every day. I have also started using the Brave browser on Android...

Thank you for your response! Please have a look at the last changes as I am not really familiar with this project and its best practices. Unfortunately this also applies...

Unfortunately I could not find documentation or source code for the extension. I asked my provider ([mailbox.org](https://mailbox.org/en/)) about it, but have not yet received an answer.

According to mailbox.org, no public documentation for this plugin is available. It was conceived by them and developed by Dovecot (initially exclusively for mailbox.org).

I've also tried Zed (or rather GPUI) on Windows, and ran into the same problem. Though in my case, the `Helvetica` font (which seems to be the default on Windows)...

Are you sure about that? It's still looks similar to [this](https://github.com/MichaelMcDonnell/enum_debug/blob/main/assets/Rust%201.65.0%20%20looks%20wrong.png) on my system with ```` rustc 1.78.0 (9b00956e5 2024-04-29) binary: rustc commit-hash: 9b00956e56009bab2aa15d7bff10916599e3d6d6 commit-date: 2024-04-29 host: x86_64-pc-windows-msvc release: 1.78.0...

Ah I see. So that means I'll have to wait for CodeLLDB to make the actual fixes (after updating its LLDB version), right?

I would like to prevent users from changing their username, due to OIDC clients that (incorrectly) expect the `preferred_username` claim to be stable (and unique).

I think it would make contributing on this issue a lot easier if the team could state the expected behavior. > I would agree that we can follow the advice...

What is the status on this or are there any workarounds one could use? I tried setting the `PROXY_USER_OIDC_CLAIM` variable to different values, but that does not seem to have...