to slim down one of my PRs with a trivial addition which, I hope, will not be controversial.
Attach a file by drag & drop or click to upload
Nils Goroll authored