Makes the GitHub repo redesign look less bad by reducing padding. Also adds back separators to the file list.
Pada tanggal 24 Juni 2020. Lihat %(latest_version_link).
Ini adalah versi dari skrip ini yang kodenya telah diperbarui. Tampilkan semua versi.
