Merge proposals dependent on lp:~pali/smpq/stormlib-doc

lp:~pali/smpq/stormlib-doc has no merge proposals.