remove unused sphinx option