My rc files for various REPLs