Misc notes updates, syntax highlighting tweaks