We had a user report a problem on Gitter that was caused by a set of out-of-date docker images. We need to setup automated Docker builds (at least) and CI (ideally) for the main system components.