Check out a userscript which highlights deleted posts.
GitHub
79633907
Date:
2025-05-22 14:01:24
Score:
1
Natty:
Report link
Probably not idiomatic, but possibly easier:
json.obj.get("attributename").map(_.str)
Reasons:
Low length (1.5):
Has code block (-0.5):
Posted by:
Jeremy