On November 13, Reddit is phasing out RSS feeds

problem
19

Very happy to hear that. Hopefully reddit does not make it too much harder.