--- a/src/junotu/TabOptions.java	Thu Jun 15 00:09:23 2023 +0200
+++ b/src/junotu/TabOptions.java	Thu Jun 15 00:53:55 2023 +0200
@@ -15,8 +15,10 @@
 import java.awt.event.ActionEvent;
 import java.awt.event.ActionListener;
 
+import junotu.Main;
 import junotu.Window.TabInterface;
 import junotu.OptionTree;
+import junotu.Card;
 
 public class TabOptions extends JPanel implements ActionListener, TabInterface {
 
@@ -43,15 +45,15 @@
 			setLayout( new BoxLayout( this, BoxLayout.X_AXIS ) );
 			events = events_;
 			folder = folder_;
-
+			
 			JButton button = new JButton( folder.brief );
-
+			
 			this.add(button);
-
+			
 			if( folder.hint.length() > 0 ) {
 				button.setToolTipText( folder.hint );
 			}
-
+			
 			button.addActionListener(this);
 		}
 	}
@@ -65,12 +67,17 @@
 	static public final OptionTree OPTION_TREE;
 	static {
 		OPTION_TREE = new OptionTree();
-		OPTION_TREE.root = new OptionTree.OptionFolder( "JUnotu", "JUnotu options." );
-
+		OPTION_TREE.root = new OptionTree.OptionFolder( Main.PROGRAM_NAME, Main.PROGRAM_NAME+" options." );
+		
 		OptionTree.OptionFolder f1 = OPTION_TREE.add( new OptionTree.OptionFolder( "1", "Folder one." ) );
 		OptionTree.OptionFolder f2 = OPTION_TREE.add( new OptionTree.OptionFolder( "2", "Folder two." ) );
 		OptionTree.OptionFolder f3 = OPTION_TREE.add( new OptionTree.OptionFolder( "3", "Folder three." ) );
-
+		OptionTree.OptionFolder developer = OPTION_TREE.add( new OptionTree.OptionFolder(
+			"Development / Internal",
+			"Development-related options. Be careful, those options were not designed with safety or intutiveness in mind. "+
+			"Misusing them could corrupt your card database."
+		) );
+		
 		f1.add( new OptionTree.OptionFolder( "1.1", "Folder one one." ) );
 		f1.add( new OptionTree.OptionFolder( "1.2", "Folder one two." ) );
 		f1.add( new OptionTree.OptionFolder( "1.3", "Folder one three." ) );
@@ -82,6 +89,23 @@
 		f3.add( new OptionTree.OptionFolder( "3.1", "Folder three one." ) );
 		f3.add( new OptionTree.OptionFolder( "3.2", "Folder three two." ) );
 		f3.add( new OptionTree.OptionFolder( "3.3", "Folder three three." ) );
+		
+		developer.add( new OptionTree.OptionCheckbox(
+			Card.TAG_OPTION_PREFIX+"show_internal_tags",
+			"Show 'internal' tags.",
+			"Show tags prefixed with '_', which are normally hidden.",
+			false
+		) );
+		
+		developer.add( new OptionTree.OptionCategory( "Actions", "" ) );
+		
+		developer.add( new OptionTree.OptionAction(
+			"Resave all cards",
+			"Go over the whole card database, load each card and save each card. "+
+			"Does not update user edit timestamp, meaning card ordering should not change on the search page. "+
+			"This might be a useful thing to run after changing "+Main.PROGRAM_NAME+" version (updating or downgrading)."
+		) );
+		
 	}
 
 	public Card card;
@@ -97,15 +121,15 @@
 		optionList = Box.createVerticalBox();
 		JScrollPane scroll = new JScrollPane(optionList);
 		JButton apply = new JButton("Apply");
-
+		
 		pathBox.setLayout( new FlowLayout( FlowLayout.LEFT ) );
-
+		
 		add( pathBox, BorderLayout.NORTH );
 		add( scroll, BorderLayout.CENTER );
 		add( apply, BorderLayout.SOUTH );
-
+		
 		path.add( OPTION_TREE.root );
-
+		
 		scroll.setVerticalScrollBarPolicy(JScrollPane.VERTICAL_SCROLLBAR_ALWAYS);
 		
 	}
@@ -135,6 +159,9 @@
 			pathBox.add( button );
 			button.setActionCommand( ACTION_PATH_BUTTON );
 			button.addActionListener(this);
+			if( path.get(i).hint.length() > 0 ) {
+				button.setToolTipText( path.get(i).hint );
+			}
 		}
 		pathBox.add( Box.createHorizontalGlue() );