You're correct, it's only illegal if someone trades on the information. Not to split hairs, but I think the time on the PR release was 9:58, which is after the market open.