A simple question from pure curiosity: Some weeks ago I received an update to version 4.2.10, which I installed. Now I noticed, that version 4.1.25 is the "latest" release. What are the differences between the two "versions"? It seems, that PixelPlow supports (only) the "official" version 4.1.25. Have I missed something?