some doc tweaks + code highlighting