Upgrade markup for cartesian-product-switch library page.