#227: no longer needed, now fixed in EasyList