#4938: Everything works now.