Wow WTF, Chrome removed the encoding menu in v55. See this bug. Apparently I don’t use it a lot or I would have discovered this much earlier, but when I actually need it and it’s not where it used to be, and there’s no alternative, it’s simply maddening. Do I need to entrust another random extension with <all_urls> permissions, or do I need to roll my own for a feature that I needed once over the past year?