Thanks a lot! It was exactly what I was looking for. I was worried a bit that overriding that adding something to the programs.dconf.profiles.gdm.databases would wipe out previous additions to this list, but it turned out to be OK. For reference, here’s what I added:
# By default, in GDM's lock screen the power button does nothing. This
# fixes this behavior to match the behavior of the desktop environment
# https://wiki.archlinux.org/title/GDM#Configure_power_button_behavior
programs.dconf.profiles.gdm.databases = [{
settings."org/gnome/settings-daemon/plugins/power" = {
power-button-action = "suspend";
};
}];