nostr:npub1nzj7e4gvhragwnun990hych7zpe00vmjffeql9w9ym7hdjhcq5wqwrmaa0 good point; I've not seen anything in BIOS related to that, and indeed after pulling plug it stays off.