discount: relocated to github mirror