Various tools for Blender's internal Text Editor