[codethief]

No, you're absolutely right. The repo had indeed been stuck on "April 2020". I last checked it two days ago.

Wayback Machine for March 11: http://web.archive.org/web/20210311053716/https://github.com...