Thanks for the bug report! As it turns out, /dir/ and /dir have different meanings, so those rules do not seem to be redundant. Please feel free to report any other issues you find.
Thanks for the bug report! As it turns out, /dir/ and /dir have different meanings, so those rules do not seem to be redundant. Please feel free to report any other issues you find.