They do intend on actually building an FAI, but that doesn't preclude them from also trying to provide material for others who might do it.
From what I've seen in the last year, MIRI has sort-of backpedaled on the "actually building an AGI/FAI" goal, and pushed forward in their public declarations the "milder" goal of ensuring a positive impact of AGI when it finally gets created by someone.
If it's worth saying, but not worth its own post (even in Discussion), then it goes here.