Christian Maeder wrote: > Let's notify the maintainer to use an ordinary minus sign I actually did that two days ago. Other people probably did too. But I haven't seen any response yet. -Yitz