Henrik Carlsson posted this note on 19 aug 19 @manton Which of the posts are those? I can’t seem to find them. ∞