CommunityFeed(unnamed 0: CommunityFeedProps): React.JSX.Element
Renders the feed as a <ul>: a line for who is online, one for the week's
figures, which links to /community, one for its most upvoted dump, then
one per event, newest first, ending on how long ago it was. A line with
nothing to say is left out. The times are computed at render.
unnamed 0: CommunityFeedProps