[webkit-dev] Proposed renamings page