Bugabooset is Bugabooset
So, Mike changed it back as he said.
But..But..
You can change it for yourself haha(evil laugh)...
Here is an extension .
Here is what it does —
Atcoder ABC #354 Solution Discussion
Interview with orz | IMO Gold Medalist, ICPC World Finalist, IGM in CF