Prepare for tag 0.25.3.