Better path escaping; CSS tweaks; introduce httpfs-ajax element