[BUG] - Bookmark is deleted when cutting/deleting selected line just above it

[elder-n00b]

Environment/version

• Extension version: 13.0
• VSCode version: 1.55.2
• OS version: Darwin x64 15.6.0 - macOS 10.11.6 (El Capitan)

Steps to reproduce

1. set bookmark
2. select line(s) just above it (either with mouse or shift+up, even with cursor resting not on the bookmark line)
3. cut/delete selection
4. bookmark is gone

Undo does not restore the bookmark.
Deleting the previous line with shift-command-k does not remove the bookmark.

edit: perhaps more of an enhancement proposal than a bug.

[elder-n00b]

Appears to be fixed in 13.0.4 -- closing.