Not everyone is experiencing this problem, so should its severity really be set to "grave"? Also, it looks to me as if #268587 can be merged with #272712 now. -- Thomas Hood