Not a big issue, since the option is already there. I encountered dropped frames when recording with latest version (it says 5.3.4 in the software itself, but downloads says it is 5.3.3).
Previously I have always been ok with "Normal" priority, no dropped frames.
Just putting it out there in case someone else suddenly gets dropped frames now.