I doubt it's "just" a hyperlink. See my other comment in this thread: https://news.ycombinator.com/item?id=17971394 https://news.ycombinator.com/item?id=1797139

I doubt it's "just" a hyperlink. See my other comment in this thread: https://news.ycombinator.com/item?id=17971394 https://news.ycombinator.com/item?id=17971394 I'd have to download the 18.04 ISO to check, which is currently unfeasible at this moment.