Vulkan's VK_EXT_present_timing Merged After Five Years in the Making