Discordが1つのコミュニティのことをサーバと言っているの、良くない気がする

RSSの購読は以下を使ってる
Server: FreshRSS
Android: fluent-reader-lite
iOS: NetNewsWire

なんか docs.rs 落ちてる