Looks like @deeque hasn't received any replies!