Editare 18 octombrie 2023: Aparent, nu se mai închide. În urma reacțiilor membrilor comunității FileList, s-a găsit rapid o soluție. De unde rezultă că pirateria e mai importantă decât politica sau decât orice alt subiect. Ca să fac o foarte scurtă sinteză a situației: