6
Yeah, I don't think you need to do a core hack for this.
You could put it in your theme, as suggested. However, if you want it in the User Menu...
Add the code provided above to the User Menu block. (If you are going to edit a system block, might as well make a backup copy of it before you start making changes.)
Even better, in my opinion, is to create a Custom Block with the code.