(manually) uploaded extension in TER wasn't actualized after 18 hours, the documentation was actualized
I uploaded a new version of the extension reint_downloadmanager manually via the "my extensions" page. After 18 hours there is still the old version of the extension (1.6.1), but the documentation is now the new version (1.7.0).