13 ms·Thanks for the tip. I have added a note about storing this in a git submodule to the post.by glebm 13y agoThanks for the tip. I have added a note about storing this in a git submodule to the post.