[JensRantil]

Fun fact: Many times you can also declassify numbers by simply looking at the width of the text boxes. I wrote a blog post about it many years ago: https://jensrantil.github.io/posts/how-to-partially-declassi...