Drop obsolete members after release v0.14