note_names, new icon

Authored by timotheegiet on Dec 16 2018, 4:00 PM.