Various tiny utilities (development, etc.)