Fix #1 needs to be to start calling them NOTAS, which is still a neat acronym, but removes an anachronistic and unnecessary gendering, whilst still being recogn

Fix #1 needs to be to start calling them NOTAS, which is still a neat acronym, but removes an anachronistic and unnecessary gendering, whilst still being recognisably about ‘notes’ or ‘notifications’.