Duplicate digests, fixed

I received duplicate digests the last few days. A bug was introduced in Discourse and fixed shortly after. This site is now upgraded to a version that includes the fix. Apologies to anyone who received annoying duplicates.