Manually name floaters
Right now floaters are named from their first line of text. Would be nice to manually name them as well.
This feedback was completed and released with v0.7.3
Tom Iwaniec
2 months ago