[16:33] good day, I noticed there was a packages.ubuntu.com snafu over the weekend (all search results were empty). This is now fixed, but it looks like the artful packages were re-added which contradicts "2018-08-11 Remove artful." in the news section [16:37] might not actually be an issue, just figured it was worth mentioning the discrepancy.