Not sure what's going on, but it seems like everytime DevDocs updates itself, the preferences are being erased...