a couple other changes too - minify gruvbox with cleancss tool - change homepage links to use ~ instead of - - tidy up tilde.json explorer