petrus is a user on mastodon.xyz. You can follow them or interact with them if you have an account anywhere in the fediverse.
If you don't, you can sign up here.
@Vigdis There are 10 types of people in the world. The people, the geeks, and the nerds who expects a base3 joke.
