minor
make it easier to read signatures
suppress refinement annotation hover in text