Am Sonntag, dem 13.08.2023 um 16:38 +0200 schrieb Jean-Pierre Chrétien: > I think that there are not many prettyref users in general, since > refstyle is much more powerful. Not sure about that. Personally, I never got warm with refstyle and still prefer prettyref (also due to its simplicity). -- Jürgen