A teacher's perspective: using Notion as an education tool