chore: drop user.js
This PR removes user.js from anything except kes.user.js. As suggested in #40.
I'm a bit confused by the alleged conflicts here on Github, my local Git says everything is up-to-date with zero conflicts. Does Github just not understand renames correctly?
I'm not actually sure. It might be a bug. Occasionally (rarely) I see synchronization issues. Maybe try making an empty commit and seeing if it updates? If not, could always rescind the PR and submit it again and see if it resolves.
Okay, another merge seems to have resolved it for now.
Update: I'm finishing up work on a couple other projects and plan to start revisiting open PRs and pending issues for the next release in the first half of this month.
This required another merge from upstream, but conflicts are resolved now. Approving and merging.