@identlud Did you push the welcome text fix? If so, a nice tip is if you create a new branch (out from master) for the fixes you make. Assum[…]