Why would amulet publish an informal security report with notionals name on it?