Looks like @michl hasn't received any replies!