It's not the same: with the first patch (combined with another attached patch), when I click on a repo from the first page, I go to the about page. Here, I end up on the summary page. On Wed, Jan 4, 2023 at 4:10 PM Jason A. Donenfeld wrote: > > Those got merged to master, long overdue. -- Jean-Christophe