Add comment to remind myself (and anyone else) how to refresh the XFCE
menu.

[originally from svn r9860]