I’ve tried reverting the theme to “Twenty Twelve”. No joy. So I do not think my theme “Portfolio” is to blame. I have read that plug ins and themes can interfere, but as “Twelve Twenty” is a default theme I hardly imagine that theme’s author needs to be questioned.
