Miscellaneous Tips from Martin. This section is synchronized across several sites, so changes made locally are probably going to be overwritten.