Issue 4536 (Cache options)
http://code.google.com/p/fbug/issues/detail?id=4536

Part II: Cache options after reading them from the disk