tools/url-pattern-translator.pl: Detect a couple of pattern prefixes case-insensitively