About the RPMs

Note
----

Due to the name given to the program (ion-devel), the appropriate
user configuration directory is $HOME/.ion-devel and not $HOME/.ion
as the documentation (man page) suggests.

I am also trying to move the whole devel tree to the /usr/local
filesystem, and leave the /usr filesystem for stable versions, but
so far no luck, help appreciated.

Best regards,
david
<excalibor@iname.com>
