A Basic Introduction to GNU social and Mastodon Social