Comment by rednafi

6 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.