[[!comment format=mdwn username="mithrandi@311efa1b2b5c4999c2edae7da06fb825899e8a82" nickname="mithrandi" subject="comment 9" date="2016-03-07T20:13:25Z" content=""" I didn't quite find a way to reliably reproduce the issue, but I can confirm that as expected, I haven't run into it again after merging your fix. """]]