To your second point, no they don’t. Coprinus comatus does not contain any benzocoprines, and does not interact with alcohol. Coprinopsis atramentaria is the one you are referring to. Completely different genus - and not one I’d recommend eating anyways, besides the alcohol interaction they have been found to cause testicular lesions!