Userscript that makes sure that GitHub stays a work tool and doesn't turn into a social media website
Pada tanggal 10 Februari 2023. Lihat %(latest_version_link).
Ini adalah versi dari skrip ini yang kodenya telah diperbarui. Tampilkan semua versi.
document-start
document-end
