Hide your slop PR descriptions behind <details><summary>

3 points | by ingve 5 hours ago