add dsl helpers for registry keys to windows.html