NEWNYM signal missing on Whonix

As requested, I reached out to the Whonix Team about testing the refactored control port + Tor daemon handling code. They tested the latest Tor Browser Alpha (not sure which version, it's whatever was the latest Alpha on 2023 September 8) on Whonix; the test results are as follows. They don't see any obviously-wrong behavior, but they did observe something odd that they wanted me to flag for you: when clicking the New Identity button, they don't observe a NEWNYM signal being sent to the Tor control port. However, the https://check.torproject.org/ page indicates that the exit relay IP does still change.

They suspect that the likely explanation is that the refactored Tor Browser code intentionally no longer uses NEWNYM since changing the SOCKS auth strings is sufficient to get a new circuit, and is less likely to interfere with any other applications that are using the same Tor daemon. However, they wanted me to check with you on whether that's the correct explanation, or if this is some kind of unintentional behavioral change.

Debug logs from Onion-Grater are available at http://forums.dds6qkxpwdeubwucdiaord2xgbbeyds25rbsgr73tbfpqpt4a6vjwsyd.onion/t/tor-browser-refactored-control-port-tor-daemon-codebase/17164/2 , on the off chance that this helps debug anything.