FYI: I'm in the process of switching ISPs. The switch was scheduled for next week, but it seems my internet connection was already switched off yesterday. Not sure if I'll get back online before Christmas ... Oh well. Off to a quiet weekend :)