Removed alias generator, since they don't work on GitHub pages :(