Absolutely stupid, but to prevent GitHub from auto-closing milestone we have to keep dummy issue open...