I didn't await the answer (hmm) but followed my own advice. Now my devices hash happily again. It looks like the main pool server (pool.50btc.com) is a bit overbusy.....