On Sun, Oct 6, 2024 at 3:21 PM Sumantro Mukherjee sumukher@redhat.com wrote:
*modular* should be gone completely now, so drop mention of it?
In that case Kevin, I will also have to update a few more places. Given Adamw and Kamil agree :)
I think it's fine to drop modular mentions in all places (there might be some notes even in footnotes, but they can't be easily searched because they are collapsed by default :-/ it's lame, but perhaps search in the html source?). But it should be done as a separate edit, properly described in the edit message, not grouped together with adding a new criterion or similar.