ושא_נס כתב:ואני מצאתי רשב"י שנהפך לר' שמעון בן יוסי. דומני לא היה ולא נברא תנא כזה, והפשוט הוא ר' שמעון בן יוחאי.
וכן הפך לר' שמעון בן יהושע (העיר על כך רח"י כהנא, כוכבי אור, דף כג ע"ד).
לאידך יש ר' ינאי בן ר' שמעון בר' ינאי (תנחומא יתרו ג לגירסת דפוס קושטא), שהפך בדפוסים המאוחרים לר' ינאי ברשב"י, ובימינו בכמה דפוסים חדשים: ר' ינאי בשם ר' שמעון בן יוחאי...
אגב, בענין תנא ששמו ר' שמעון בן יוסי, באמת היה ר"ש בן יוסי בן לקוניא. אבל אני מבין שבדקת במקורות ומצאת שהכוונה במקום ההוא לר"ש בן יוחאי. ופשוט.