Indeed, that PR is now merged thanks to @Osama. It addresses most types of user_auth_token_logs, but not all of them, we will follow up with a fix for the generate entries shortly. (See the discussion in the PR link above for more context).
I’m going to keep this topic open while we address the follow up.