fix "redex-doc" dependencies