Update vscode screenshot

[DikieDick]

Updates the screenshot to include the newest changes made to Waterproof.

Note that the uploaded image is of a lower resolution. If desired I can create a higher resolution one later.

[jellooo038]

Looks good, although the higher resolution version is definitely needed!

Some remarks:

• Remove line numbers
• In line 41, l is used as a dummy variable, whereas later on m is used. I prefer m for readability
• The symbol used for implication is hard to read (line 41 and 48). Can we replace this by the other bold arrow that can be used for this notation?

[DikieDick]

Thanks for the remarks Jelle!

Jim also suggested using the image from the Nieuw Archief article.
I think that one also fits well.

[jellooo038]

Good idea, that example also showcases the "Indeed ..." proof step!