Proofreading texts using the BSI proof-correction marks.