On the Dejal blog: Simon 5.1.1 released; this update includes just a few — but important — fixes. See the blog post for details.