@janneke @fsf @fsfe This was quick! We just had 0.25 released last month.