Fabrizio Ferrai

The rewrite is now done, and the commands are not overlapping anymore, closing

@vapaj great idea. This is also what's normal industry practice (Google, GitHub, etc, they all just ask for the password for "important actions"), so users are already used to this.

Thanks for reporting this @jquesada2016! I will move this issue to the compiler repo, since that's the bit that generates the docs in the first place - Spago is just...

@i-am-the-slime [as documented here](https://github.com/purescript/governance#pull-requests) merging things to the compiler requires two people from core to approve this. I would have a look at this myself but I forgot how this...

I haven't looked at the code yet, but I wonder: why a new PR instead of building on top of #4339? That code has been running in production for months...

I meant to PR it here once we declare it an alpha version (should happen some time at the end of the month), right now there's not much documentation so...

@mstksg I have switched all my projects to [purescript-overlay](https://github.com/thomashoneyman/purescript-overlay), which has spago-next and is kept up to date automatically whenever there's a new release

Of course, Unicode joys 😄 I'd say let's try to find a set of characters that look good in Windows/Gnome, and I can test them on mac. We can try...

Thanks for collecting these - let's try to use 2713 for the checkmark, 2718 for the cross, and 26A0 for the warning sign. I'd also say let's keep printing them...

> What's the argument against ASCII art? The `[v]` looks confusing to me - the other ones are fine. > The 26A0 character is essentially the same emoji I think....