How to Type Up Notes From a Meeting Fast: Manual vs. AI Methods