v0.6
d3c061e7 · TheHiveButton: better headers of observable tables · Mar 18, 2021