I'd be happy with just mic audio in a separate wav file for the local recording (including while streaming, audio could still pipe through the mic out to the stream, just the local backup recording would have the mic audio separate).
I've been making due with setting up a shortcut in Audacity to start recording that's the same as the shortcut I use in OBS to start recording. So while Audacity is in focus I hit the shortcut and it starts recording and since OBS does global shortcuts it starts recording about a half-second later. It works out ok because I need about 15-20 seconds of dead air for the noise removal, so that covers starting up the game and getting the last save loaded. Then when I bring them both into editing I just offset the mic to start a half second before the video and it lines up just about perfect.
But where this breaks down is when I want to stop recording, say while at a vendor or deciding which perks to go with, or messing with game settings, etc. I either have to keep recording and cut that out in post or deal with syncing up audio that would take much longer than just a half-second offset. Potentially hours of time depending on how many recording stops/starts because Audacity doesn't have global shortcuts, so stopping the OBS recording doesn't stop Audacity. So, obviously I'm keeping the recording going and just cutting in post. Definitely looking forward to when OBS can split the mic audio itself, though. It'd be nice to have that audio perfectly in sync without any offset, and the ability to start and stop recording whenever, just run the mic audio through noise removal and a bit of compression, equalization and normalization in Audacity to clean it up prior to video editing.