Code

Fix the mkNEWS script, and make it use w3m, which is nowadays