Extending the toolbox: a digital user manual to enhance the work of automation technicians