@joey no. almost none of the modules present good ui
messages.

@KristjanESPERANTO - Yes, I just saw that when I did the git pull.

As I said, I wanted to flag it though as the recommended route for updates is that script, which would appear not to be working correctly otherwise.

@sdetweil - thanks, clear. Will do so, although I’m up to date anyway now after the git pull.

@sdetweil said in Failed update:

@DarrenHill ok, try the latest… dang pi results different than other OS versons of npm

Thanks - that’s fixed it :D

So, the best solution would be modifying the source to ignore the capital letter of key identifiers on the resulting feed. I think it would be somewhat annoying but not impossible.

@mumblebaj well, it made the font bigger, but NOT 1.5em…

@DarrenHill git is the thing

gitHUB is just server for holding code, and accepting changes (pull requests) from others

Thanks, that makes sense, and indeed Chrome is happily remembering the setting too.

I wasn’t sure whether the zoom was being applied pre- or post-rendering. But your explanation makes sense, and the solution of doing it “manually” works fine.