We still have names like webkitgtkframe.h and webkitgtkpage.h -- we didn't drop "gtk" from the filenames at the same time we dropped it from the API. Changing this will require modifications in existing third party application code, so it should be done in one go to minimise the inconvenience. We should fix this at the same time or after we fix #15691 (the API refactoring).
This was fixed with bug 15691.