These are now implemented centrally in the executablebooks/.github repo