Maybe we can talk about using the F prefix when we know that an unprefixed name would start to bite users, i.e if/when make the name change you're talking about? :)

In the meantime, I'd prefer just to leave it the same for now, to make it slightly easier for users by not changing things without an immediate benefit to them. It's easy to update the manual later. I'm not against making the change at all. I just think let's wait until we know what we're doing and then make a plan for how we recommend using the API. Does that sound OK?