code: private static String stripFileExtensionIfAny(final String name) {
          final int suffix = name.lastIndexOf(".html");
          return suffix == -1 ? name : name.substring(0, suffix);
      }
docs: bit of a hack...