RenameOTAbins you can check in /usr/bin. Look if the renaming has actually happened, as detailed in the .sh script in the /mnt/us/extensions/renameotabins/bin.
The second one I am not sure it still works effectively, I think people still do it as a habit