Does this mean that the current menu's behaviour will change, or is this patch optional?
Currently, I just style active links differently, and that works fine. I have seen people who work with different browsers on different OS use the active menu link to refresh the current page. Basically because the menu link is closer to where the mouse pointer is, and because the menu link is always on the same position in the window. Safari has its refresh "button" to the right of the URL, in Firefox it's the first button in a row of three to the left of the URL. Kind regards, Annet.
