On 1/8/23 06:15, José Matos wrote: > On Sat, 2023-01-07 at 17:46 -0500, Richard Kimberly Heck wrote: >> I've changed the Mac scripts in stable. Should we do this for the >> python >> scripts, too? E.g., replace >> >> #!/usr/bin/python3 >> >> with >> >> #!/usr/bin/env python3 >> >> ?? >> >> Riki > Please do not. That will mean more work for me. OK! Riki