Define starred float environments also (thanks Bernhard Kleine)
when filtering XMHint, combine w/previous PUNCT if any