manifest: tag gnome-terminal