On 23.07.2026 12:12, Johannes Khoshnazar-Thoma wrote: > Friendly ping regarding my .pushsection patch. Is this something > that could be merged? What else do you need? I'm intending to look at it, but please allow at least a full week before pinging. Jan