andyb, I don't know what that source is, but with regard to the "releases," it's just completely wrong.
Devenski, Gibson, Hand, Knebel, Robertson, and Syndergaard became free agents at 9 am yesterday. The official transactions pages show them as "electing" free agency, but it's automatic. None of them were "released," because as of 9 am yesterday, none of them were under contract.
Just a semantic point... except that saying the Phillies released them implies the Phillies made a decision, a choice. This is not correct.
The news on options is as expected. Lauber has confirmed the Eflin part:
Zach Eflin has declined his half of a $15 million mutual option with the
#Phillies
. He's a free agent.
@JonHeyman
first.
— Scott Lauber (
@ScottLauber
) November 7, 2022