I'm running from GIT with HEAD on 12eecbf0bb798f99454a46c191bb0ec6bdef1aa5. It seems that menu-entry is still described in documentation doc/guix.texi:15337 but code seems to abandon the use already in favor of boot-parameters at least to my level of understanding. My question without answer is - how can I specify bootloader menu entries now? TIA, S_W