website/docs: use symbol instead of string