Comment by rednafi

8 days ago

Yeah rounded border seems like a good idea.

Also, weird, seems like I don't see the encoding issue on the segal's law.