Summary of changes: f51ec9f... Fix a typo in the manual (*) 2385265... 5.1.0 bump (*) (*) This commit already existed in another branch; no separate mail sent