Some new documentation and other tweaks