☰

Penguinmod editor profile card

A simple userscript that adds a profile card to the top right corner in the Penguinmod editor