@gentle-potato-32845: known bug =( ... the suppressions options file is currently in a dict, so we don't deeply fingerprint it. would love a patch for that