Goodbye, Profitux; you've been serving us well!

Finally stop: painstakingly changing it manually for every new workspace
ever.

(...for no reason; just something in my brain preventing me to add
this line for ~4 years.)

Breaks syncthing.

Some URL extractors (like uripecker, which I'm too lazy to fix now)
don'r "see" URLs without TLD.  It's probably nicer to use fuller name
anyway (and use aliases only for SSH, where applicable).

Nice online radio after a long long time...

Let's keep ini file names consistent with tool names.  Since bmo-uris is
gone, this is not even a shared file anyway.

The / main page seems to be a bit too "dangerous", this should make it
easy to go to a particular subscribed subreddit without much
distraction.