"Workbench Moderation" module is required and it shouldn't be

[mibocs]

I noticed that "Workbench Moderation" module is required for "NextEuropa Varnish" one. Can you tell me why this is needed if we don't use "Workbench Moderation" module at all?

/**
 * Implements hook_node_update().
 */
function nexteuropa_varnish_node_update($node) {
  // Ignore moderated nodes, they are handled by the workbench moderation hooks
  // implemented in this module.
  if (workbench_moderation_node_moderated($node)) {
    return;
  }

Why can't we just check if workbench module is enabled here?

I created a patch for this but i had to pack it because "patch" extension is not supported(accept=".gif,.jpeg,.jpg,.mov,.mp4,.png,.csv,.docx,.fodg,.fodp,.fods,.fodt,.gz,.log,.md,.odf,.odg,.odp,.ods,.odt,.pdf,.pptx,.txt,.xls,.xlsx,.zip").
digit-ne-varnish-make-workbench-optional.patch.zip