Interesting

OK, when I installed firefox (previous message) I created a new profile, ~/.phoenix/mike. However, firefox now defaults to ~/.phoenix/default. Which means that I can use the old extensions and bookmarks, and that's OK, I guess, but how do you permanently change what the system considers ``default''?