Scratch the '.user' part in '.user.css' and '.user.js'.
Scratch the '.user' part in '.user.css' and '.user.js'.

For all practical purposes it caused confusion among users
and the regular file extension should be just as fine.

OoberMick/Midori,OoberMick/Midori