Ralf's public branches of FriCAS