I don't know; but "community infrastructure" includes things like servers, bug reporting and discussion, and that's kinda important.