Telling users to rename it is a poor idea, and if you have multiple releases in your release/ dir it will get confusing. So always append -v25.09 and update docs accordingly. Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>
ws: