prepare for lean-explorer branch derived from trunk