Shows the user where to find the theme editor options in WordPress

Shows the user where to find the theme editor options in WordPress