Fix write-up of what's going on with spec April25.
Fix write-up of what's going on with spec April25.

[Tests][TLC]
tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus