Am Fr., 12. Juni 2020 um 18:47 Uhr schrieb Marcel Taeumel <marcel.taeumel at hpi.de>: > > That would leave either room for "UTF-64" encoding :-D as 3 << 16. > Luckily we won't need that for any while soon because there are only 16r10FFFD codepoints many of which are still unused.