hi, just a small question/suggestion: wouldn't it be better if we keep the current master on github to the last stable release (i.e. 0.48.2) and use a dedicated development branch for adding things? Christof