[PATCH website] Toss out vestigial Flash player