pothos-library: better names for ports in dot markup