Ya, saya perhatikan itu di video. Kami akan menyuntingnya dengan benar melalui pembacaan ulang juga. Untuk saat ini, saya lebih memilih alat yang terlalu berhati-hati daripada berisiko menandai kata-kata tambahan secara tidak sengaja. Beberapa di antaranya dapat saya ubah dengan andal menggunakan pencarian dan penggantian regex, tetapi untuk yang lain, ini mungkin metode terbaik untuk saat ini. Kekurangan lainnya adalah masih sedikit memakan waktu untuk mengetik entri glosarium untuk setiap nama (jika tidak, saya tidak membutuhkannya sebagai entri glosarium yang sebenarnya).