Fix TOC on platforms page