protocol-relative inclusion of reSpec