While doing some cleanup at $HOME I realized it apparently takes more than 20 years to change some directory paths.

Hopefully I'll be able to remove .mozilla from my $HOME before I retire.