I already announced it when the last PauseTalk came around, but just a reminder that next week there will be no edition, as I usually skip August — with so many people on holiday, it’s hard to get a good attendance. The next PauseTalk (Vol. 53) will be held on September 5.