[temp.res.general] Fix nesting for \terminal{\opt{...}} (#7599)

[temp.res.general] Fix nesting for \terminal{\opt{...}} (#7599) #8371