Server Software for the BetterDictionary Decentralized Subscription Dictionary Service