Merge "Bump the openstackdocstheme extension to 1.20"