Yea, I have the workshop manual too. No hole.
None of the other images I can see show a hole there either.
It's pretty deep, like 3 1/4", I don't have a whitworth bolt that long, I can't even tell if it's threaded.
You think it might be a mount point for the wire tie?