@ErikUden I guess we'll just have to rely on Anna for the foreseeable future: https://annas-archive.org/