Some preferences are reset when browser is closed (even those in user.js)

I am using Tor Browser without Tor as described here: https://www.whonix.org/wiki/Tor_Browser_without_Tor

Until the 7.0 update, these custom preferences could be set (in about:config or in user.js in the profile.default directory) and would persist when Tor Browser was closed and opened again:

// Disable proxying
user_pref("network.proxy.socks_remote_dns", false);
user_pref("network.proxy.type", 0);
// Disable Tor service
user_pref("extensions.torlauncher.start_tor", false);

Since the 7.0 update, only the extensions.torlauncher.start_tor setting persists. The others are reset when Tor Browser is closed, in both Linux and Windows. Even setting them in user.js has no effect; they need to be set manually each time Tor Browser is started. (At least they are applied at once so that using Tor Browser without Tor is possible.)

How can they be made persistent?

Trac:
Username: nido