Forgot to remove doc from PKG_SUPPORTED_OPTIONS, now removed.