release version 0.9.3
prepare for next development iteration
handle Jenkins status "disabled"