Optionally use a web cache for processing UUIDs

Some formatting changes snuck in. They can be fixed if required.