Re: [LinuxBIOS] #23: Use Doxygen-style comments