{# A module has a newer version (routes.check_module_update_route): its badge and buttons, swapped in out of band. The version comes from PyPI or a GitHub release, so it is only ever text here. target: what to install (the PyPI name, or git+url@tag); notes: PyPI has release notes. #}