Some of the tools for fan translations that I've written over the years (2009-2013)