I don't take it as "belaboring", but when my tests on two more machines are consistent with mine regarding ALT+D/CTRL+L, and considering the fact that I could bypass this by going back to Google Chrome, I decided not to spend time on fixing what I'm not sure needs a fix anyway.
