provide correct default pointer to tvb-docs