ea438be5c1
This reverts commit f412b4f96fa49f4ed856db25c10bdf4b9c2e4cec. Conflicts: doc/ale.txt
This reverts commit f412b4f96fa49f4ed856db25c10bdf4b9c2e4cec. Conflicts: doc/ale.txt