Debian 13-based refresh runs comfortably on veteran ThinkPads, without making installation a hobby