devtools store — placeholder, replaced by the first CI deploy