Microsoft Edge for Linux will be available on October