nostr:npub1823nefum8hyzu39h6dpu83c79jfw3fvl8x4l06kqvycgxapj0ckq0mzdth I go into BIOS settings all the time. They have really improved its usefulness since the old days of the venerable 80286.