why3 is marked for autoremoval from testing

[Debian testing autoremoval watch]

why3 1.2.1-3 is marked for autoremoval from testing on 2020-03-15

It (build-)depends on packages with these RC bugs:
911166: gtksourceview2: Do not release with Bullseye