On Tue, May 9, 2023 at 5:28 PM Jonathan Steffan <jonathansteffan@gmail.com> wrote:

* Location of shipped bins -- is there a better place now? I went with simple.

The active discussion about BiggerESP is relevant to this decision. It's even directly asserted that RPMs should not be managing content in /boot.