Then do we simply drop all non-BMP characters?