back to old protocol with sphinx, also small modifications to formatting & benchmark package on index