Predictable, but depressing: Documents filed with the Department of Labor and dated December 2012—three months after the company’s owners filed their lawsuit—show that the Hobby Lobby 401(k) …