public void Escape_NoCrash([PexAssumeNotNull] string text, out string escaped) { escaped = BBCode.EscapeText(text); }