Comment 4 for bug 1813354

I'm not questioning the fact that this is a bug but I'm curious what documentation lead you to add "deb mirror" entries to your sources.list file. Could you point me at it? Thanks in advance.