Either "nohistory" has no effect or it just does not appear in the "mount -v" output. As I can use "undo" and I mounted with "-o nohistory" I assume the first.