Replace WebIDL section with a link to new PR (#475)

SHA: 088e022
Reason: push, by lukewarlow

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>

Author: lukewarlow