Comment by 1718627440

Thanks. I haven't considered these aliases, but they seam useful, so I just added them for my user. :-)