That's the type of thing that makes documentation so important! Little details that were lacking made you lose your time figuring out issues that the tool should have covered. Thanks for sharing!
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.