@Béla: When building a release for RasPi (ie: 9.x/armv6/.../piCore-9.0.3.zip) would it be too much trouble to have an MD5.txt (some means to determine if the server version matches a local copy) and links to possibly piCore-current.zip as they are done in the x86/64 repos?