Re-adding doc submodule

Lost -- I think unintentionally -- during merge commit
a1dfd56e8e8821462ff2ea4a5ca449bc6fe940e6