[webkit-dev] Can the WebKit logo be used for WebKit ports? (like WebKitGTK)

Hi, I'm working on having daily runs of WebKitGTK (with minibrowser) at https://wpt.fyi but then I noticed that the WebKitGTK project doesn't have a logo as such. So, I wonder... Would it be OK to use the WebKit logo for the WebKitGTK port? (to show on wpt.fyi at the top of the column for the WebKitGTK test results) Thanks for the comments Best regards.