Tim Ruffing

@p-e-w I share your sentiment, this seems unreasonable... > I really don't know how to move forward here anymore. I believe a first step would be to make @mwilck and...

> 1. The security concerns are IMO real, and all argos users should be aware of them to some degree. a) First of all, the review just talks about `chmod...

I'm not entirely sure why `set_size` does not really what we want but this is way to get around the issue.

Fwiw, I'm my version is 3.34.3 and I've been using this without any issues so far. @p-e-w Maybe that's not enough for merging this but can you test this PR...

Okay, I see. Do you think it makes sense to add a big "maintenance mode" notice to the README? Maybe it's possible to find a maintainer.

This still works on the current GNOME Shell 42.3.1. The same code is used https://gitlab.gnome.org/GNOME/gnome-shell/-/blob/main/js/gdm/loginDialog.js. Can we get this merged?

Now this appears again with the release of Gnome 3.36 as expected, see https://github.com/paradoxxxzero/gnome-shell-system-monitor-applet/issues/551#issuecomment-558302621

I can confirm this.

By the way, I think this is safe to do whenever cleveref is loaded, so maybe a separate `\pcfixcleveref` command is actually not necessary. But I don't know the story...

Could you have a look?