Update RSS subscriptions
[lean] Initial configuration for lean-mode
More cleanup/linting
You can also use your local clone with git send-email.