The alias, which was still being used, has removed in [1: 0a1cd94].

Closes #28.

1: 2023-10-28 0a1cd94
   Remove obsolete aliases