Restoring src/ahot/Example

and some blanks cleaning.

This should undo the erroneous removal of src/ahot/Example, which I still do not
understand.