Samuel Q.

This has been pushed to the main site now.

Should the addon be removed, have a notice like DNin01 suggested or just be left as it is?

I forgot to mention decimal settings were reverted in #6767.

Shouldn't this be separated from the cat block changes (#7589)?

#8556 rewrote the userscript for modern Blockly only keeping this one for backwards compatibility.

I think it's better to wait for #2617.

Is the user-agent change even that useful now that ScratchDB is down?

Currently the description doesn't mention user-agent anywhere, should I add it back?

| Before | After | |-----|-----| | |  | |  |  |  |  |  |  |

> For the pages, I like how the logo is bigger, but I did like the slightly more space between the text, the logo, and the beginning/left edge of the...