This patch attempts to improve the bookmarks help, albeit uselessly as told in an other mail: the extension's help is shadowed by that of the command of the same name and as such will never appear to the user. But even so, fixes and improvements can never hurt... :) -- Cédric