Hi,

According to https://wiki.archlinux.org/title/GNOME#Power_modes looks
like adding the already-packaged power-profiles-daemon dependency should
be enough to get a Power section in GNOME Settings.

I would try, but this box is just too slow.

Thanks,
  Jorge Acereda