Fix a broken link to a .pxt page to point to the ported version of that page

This just fixes that broken .pxt page link to point to the ported version of that page.