I'd love to see us comment everytime a $timeout is used. They are non-deterministic and knowing why we think this should work 99.9% of the time would be good to document.