Dedication to E. Pipping See merge request !427 (cherry picked from commit f0d33bc3) b44118cc Dedication to E. Pipping