[sylvestre]

While I do understand the frustration, I think the "find in page" hotkey isn't a big enough reason to change the platform. Myself, I am happy with the performances. By the way, what would you replace it with?