26 Apr
2023
26 Apr
'23
8:49 a.m.
As Zeb said, temporarily changing file modes is ugly and fragile, we don't want to go in that direction. Also there doesn't seem to be much evidence that it would be necessary.