@jwildeboer Some time ago I created a feature for a popular code editor. I thought it would be helpful to others so I posted the code on the 'issues' thread. But actually, I should make a pull request and a fork and feature..merge.. I don't know. It's 6 lines of code, take it or leave it. I know "Pull request" is probably a matter of course if you're already a frequent open source contributor, but it'd be nice to dip my toes in the water without pushing me into the deep end.