> Usually, they get merged within days, and often backported to the 0.3 version > of the manual as well.
It's an oversight if documentation improvements doesn't get backported (if it is not documenting new features in 0.4-dev). Please bump the relevant pull requests so that we can fix that.
