Cleaning up some rtl/rel9 readme files
Making a workshop book use rtl/rel9 instead of rtl/rel1
Suggesting a couple books alternative to the rel1 library
Adding a comment to state that comp1 is now named lnot