Contributors to 2022-02-07 An inclined plane in tikz