Some doc

Still need some tweaking in the formatting, that might
happen some time in the future.