> I am wondering where we should store > such "just too late" corrections. Good question. > Do we want to keep using trac? I am not very fond of it, but neither do I know of anything better. Perhaps a different organization of tickets, etc., would make it more usable.