<div dir="ltr">The most recent Development Snapshot is 2017-08-03, but it used to be a new one almost daily. What happened?<br><div>/Jens</div></div>