The TOS;DR OTA-Bot is down and has been since Dec 19. This relies on it, no?

[elvey]

Error
Issues has been disabled in this repository. @ https://github.com/tosdr/tosdr-versions/issues/new

The TOS;DR OTA-Bot is down and has been since Dec 19.

The bot needs to be revived. It hasn't recorded an update since Dec 19.

https://github.com/tosdr/tosdr-versions/commits?author=OTA-Bot

Many policies have changed. Verizon's Privacy policy changed in May and July.