[TASK] Turn '.rst.html' into '.html' on search page (4)
[TASK] Turn '.rst.html' into '.html' on search page (4)

marble/t3SphinxThemeRtd,marble/t3SphinxThemeRtd,marble/t3SphinxThemeRtd,marble/t3SphinxThemeRtd