Piriformis syndrome

Just recording this so I won’t forget again. It is very likely what is besetting my right leg and requires that a little muscle under the gluteus maximus be relaxed.