6/20/23: "Batman" uit de voorbeeldchat vervangen en andere kleine bewerkingen.