Update kerodon 0.3.0 -> 0.4.0