Similar to our tools, but this is where we put stuff other people contribute