This should eliminate our need to rely on a wrapper script that sets /Users/arthur and launches Firefox with -profile.