Windows 10 Redstone 4 may be released under the codenamed “April 2018 Update”