upgrade sphinx 1.1.3 -> 1.2.3

Fixes #8596, fixes #8276.
update helpdb.jl