Added CriticMarkup copyright, again