The HTTP4S File Provider