Changes in the menu + digidoc module