How often or when exactly does the server recalculate the post ranks? Does Lemmy scale well when trending posts get many up/downvotes?