AOs 2.5.1

This release is meant fix the following bugs:

All changes can be reviewed in the Changelog: v2.5...v2.5.1

1. prompt -h resets the prompt set by the user to the default prompt.