Shorten Markdown sections in the manual
add required Options parameter to case class examples in scaladoc
add new options attribute to pattern matching examples in the manual