You can use whatever tag you want, as long as people understand what it means. You can just do something as simple as this:

/debian13linuxkernel7.0.12i510400FGTX106016GBDDR4Bash5.3.9