# This string is defined in a separate file so that VS Code would not
# complain (or even accidentally "fix") the weird character we want
# to have present every time you open utilities.jl.
const U2028_STRING = "policy to  delete."
