Is $(XY - 1)$ a maximal ideal in $k[[X]][Y]$, and if so, how can I see it?
It is at least prime because the generator is irreducible, and by the same argument it is maximal among all principal ideals. But I haven't gotten further than that - Finding units in the quotient ring didn't turn out well, either.