push 9p under extras in docs