EOF Devnet-1 fixes some spec issues that were cut from prague as the were only "nice to have." Nothing major, just a few items we don't want to see in a hypothetical "EOF Quirks" talk.
Compilers and Developer tooling should start targeting the devnets here, because at this point the spec will mostly freeze, allowing only "additive" changes" and (barring serious bugs) no more breaking changes.