Tags

Tags give the ability to mark specific points in history as being important

1.1.0

2fde3c69 · change release no · Jul 30, 2025
```
needs L* 7.3.x
```