Database: codebase_community (difficulty: simple)
Question: What is the display name of the user who last edited the post "Unknown formula"?
SQL: SELECT T2.DisplayName FROM posts AS T1 INNER JOIN users AS T2 ON T1.LastEditorUserId = T2.Id WHERE T1.Title = 'Unknown formula'