Looks like @henricus hasn't received any replies!